SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
SPLASH 2023 (series) / Hotel Cascais Miragem /

Room information: Room XIII

VenueHotel Cascais Miragem
Room nameRoom XIII
Capacity44
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 22 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
ST30 Day 1 Session 1ST30 at Room XIII
09:00
30m
Talk
A silent semantics for isorecursive session types
ST30
Janek Spaderna University of Freiburg, Germany, Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos LASIGE, University of Lisbon
09:30
30m
Talk
Mechanising Multiparty Session Types: A Sound and Complete Projection
ST30
Marco Carbone IT University of Copenhagen
10:00
30m
Talk
The Concurrent Calculi Formalisation Benchmark
ST30
Marco Carbone IT University of Copenhagen, David Castro-Perez University of Kent, Francisco Ferreira Royal Holloway, University of London, Lorenzo Gheri University of Oxford, Frederik Krogsdal Jacobsen , Alberto Momigliano UniversitĂ  degli Studi di Milano, Luca Padovani University of Camerino, Alceste Scalas Technical University of Denmark, Martin Vassor Imperial College London, Nobuko Yoshida University of Oxford
11:00 - 12:30
ST30 Day 1 Session 2 - Invited talkST30 at Room XIII
Chair(s): Vasco T. Vasconcelos LASIGE, University of Lisbon
11:00
90m
Talk
Beyond Types for Dyadic Interaction
ST30
Nobuko Yoshida University of Oxford
14:00 - 15:30
ST30 Day 1 Session 3ST30 at Room XIII
14:00
30m
Talk
CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
ST30
Jan de Muijnck-Hughes University of Strathclyde, Cristian Urlea , Adriana Laura Voinea , Wim Vanderbauwhede University of Glasgow
14:30
30m
Talk
Complete Multiparty Session Type Projection with Automata
ST30
Felix Stutz
15:00
30m
Talk
Multiparty Reactive Sessions
ST30
Ilaria Castellani INRIA Sophia Antipolis, France, Cinzia Di Giusto Université Côte d'Azur; CNRS, Jorge A. Pérez University of Groningen
16:00 - 17:30
ST30 Day 1 Session 4ST30 at Room XIII
16:00
30m
Talk
The Expressiveness of Session Types
ST30
Jorge A. PĂ©rez University of Groningen
Pre-print
16:30
30m
Talk
What we learned from writing a book about session types
ST30
Simon J. Gay University of Glasgow, UK, Vasco T. Vasconcelos LASIGE, University of Lisbon
17:00
30m
Talk
So what's the difference between a session type and an ordinary type anyway?
ST30
Frank Pfenning Carnegie Mellon University, USA

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
ST30 Day 2 Session 1ST30 at Room XIII
09:00
30m
Talk
Behavioural up/down casting for statically typed languages
ST30
Lorenzo Bacchiani , Mario Bravetti UniversitĂ  di Bologna, Marco Giunti NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa, JoĂŁo Mota NOVA School of Science and Technology, Antonio Ravara NOVA LINCS & FCT, NOVA University of Lisbon
09:30
30m
Talk
Session-Based Typechecking for Elixir Modules Using ElixirST
ST30
Adrian Francalanza University of Malta, Gerard Tabone University of Malta
10:00
30m
Talk
A Semantic Framework for Automatic Composition of Decentralised Industrial Control Schemes
ST30
Dimitrios Kouzapas University of Cyprus, Demetrios G. Eliades
11:00 - 12:30
ST30 Day 2 Session 2ST30 at Room XIII
11:00
30m
Talk
Asynchronous and Synchronous Mixed Sessions
ST30
Kirstin Peters Augsburg University, Nobuko Yoshida University of Oxford
11:30
30m
Talk
Classical Processes in modern dress
ST30
Vikraman Choudhury University of Glasgow, Simon J. Gay University of Glasgow, UK
12:00
30m
Talk
Labelled Tensor Types in Session Based Programming
ST30
LuĂ­s Caires INESC-ID / Instituto Superior Tecnico, University of Lisbon
14:00 - 15:30
ST30 Day 2 Session 3ST30 at Room XIII
14:00
30m
Talk
Benchmarks for Multiparty Session Types
ST30
Martin Vassor Imperial College London, Nobuko Yoshida University of Oxford
14:30
30m
Talk
Towards Session-Typed Consensus
ST30
Matthew Alan Le Brun University of Malta, Ornela Dardha University of Glasgow
15:00
30m
Talk
Using Event Structures to model Multiparty Session Types: results and open problems
ST30
Ilaria Castellani INRIA Sophia Antipolis, France, Paola Giannini University of Eastern Piedmont
16:00 - 17:30
ST30 Day 2 Session 4 - Panel sessionST30 at Room XIII
16:00
90m
Panel
Future Directions for Session Types
ST30
Stephanie Balzer Carnegie Mellon University, LuĂ­s Caires INESC-ID / Instituto Superior Tecnico, University of Lisbon, Ornela Dardha University of Glasgow, Raymond Hu Queen Mary University of London

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
KeynotePLF at Room XIII
Chair(s): Ragnar Mogk Technische Universität Darmstadt
09:00
90m
Talk
Keynote: Feeling the Local-First Elephant: A Roadmap, Hidden Gems, and New Puzzles from the Field
PLF
Brooklyn Zelenka
11:00 - 12:30
PLF Talks 1PLF at Room XIII
11:00
30m
Talk
Collaborative offline-first applications in Education
PLF
Annette Bieniusa University of Kaiserslautern-Landau, Christopher Thyssen University of Kaiserslautern-Landau
11:30
30m
Talk
Local-first: experiments & lessons learned building TypeCell
PLF
Yousef El-Dardiry TypeCell
12:00
30m
Talk
Proposal: Versioned Collaborative Documents
PLF
Matthew Weidner Carnegie Mellon University
14:00 - 15:30
PLF Talks 2PLF at Room XIII
14:00
30m
Talk
Can local-first really scale at the edge?
PLF
Carlos Baquero HASLab/INESC TEC & University of Minho
14:30
30m
Talk
Local-first at Actyx
PLF
Roland Kuhn Actyx AG, José Duarte Actyx AG
15:00
30m
Talk
Extending Automerge: Undo, Redo, and Move
PLF
Leo Stewen Technical University of Munich, Martin Kleppmann TU Munich, Liangrun Da TU Munich
16:00 - 17:30
PLF Short TalksPLF at Room XIII
16:00
22m
Talk
How to Enforce and Verify Invariants in Weakly Consistent Databases
PLF
Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Carla Ferreira NOVA University Lisbon, Nuno Preguica NOVA LINCS, FCT, Universidade NOVA de Lisboa
16:22
22m
Talk
Local-First in Practice: Learnings of building a high-performance, local-first music app
PLF
Johannes Schickling None
16:45
22m
Talk
MVC, MVCC and Causal Trees
PLF
Victor Grishchenko Unaffiliated
17:07
22m
Talk
Mixed & Verified Consistency with Propel & ConOpY
PLF
George Zakhour University of St.Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen

Wed 25 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
KeynoteOnward! Papers at Room XIII
Chair(s): Tijs van der Storm CWI & University of Groningen
09:00
90m
Keynote
Creating a learnable and inclusive programming languageKeynote
Onward! Papers
K: Felienne Hermans Vrije Universiteit Amsterdam
11:00 - 12:30
Beyond Text? Onward! Papers at Room XIII
Chair(s): L. Thomas van Binsbergen University of Amsterdam
11:00
30m
Talk
Time-awareness in Object-exploration Tools: Toward In Situ Omniscient Debugging
Onward! Papers
Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
DOI
11:30
30m
Talk
Code Merging Using Transformations and Member Identity
Onward! Papers
André R. Teles University Institute of Lisbon, André L. Santos University Institute of Lisbon, Portugal
12:00
30m
Talk
Scalable Spreadsheet-driven End-User Applications with Incremental Computation
Onward! Papers
Sean Hadar Technion, Shachar Itzhaky Technion
14:00 - 15:30
Beyond Language?Onward! Papers at Room XIII
Chair(s): Alex Potanin Australian National University
14:00
30m
Talk
Could No-Code be Code? -- Toward a No-Code Programming Language for Citizen Developers
Onward! Papers
David H. Lorenz Open University of Israel, Assaf Zeira Too Software
14:30
30m
Talk
Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI Agents
Onward! Papers
Mark Marron University of Kentucky
15:00
30m
Talk
Trustworthy Formal Natural Language Specifications
Onward! Papers
Colin Gordon Drexel University, Sergey Matskevich Drexel University, USA
16:00 - 17:30
Essays 1Onward! Essays at Room XIII
16:00
45m
Talk
Will code remain a relevant user interface for end-user programming with generative AI models?
Onward! Essays
Advait Sarkar Microsoft Research and University of Cambridge
16:45
45m
Talk
programmingLanguage as Language;
Onward! Essays
James Noble Research & Programming, Robert Biddle Carleton University

Thu 26 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Beyond Programming? Onward! Papers at Room XIII
11:00
30m
Talk
Cloning And Beyond: A Quantum Solution to Duplicate Code
Onward! Papers
Samyak Jhaveri UCI, Alberto Krone-Martins UC Irvine, Crista Lopes University of California, Irvine
11:30
30m
Talk
Towards an Industrial Stateful Software Rejuvenation Toolchain Using Model Learning
Onward! Papers
Mathijs Schuts Philips; Radboud University Nijmegen, Jozef Hooman TNO; Radboud University Nijmegen
12:00
30m
Talk
Concept-Centric Software Development: An Experience Report
Onward! Papers
Peter Wilczynski Palantir Technologies, Taylor Gregoire-Wright Independent consultant, Daniel Jackson MIT
14:00 - 15:30
Essays 2Onward! Essays at Room XIII
14:00
45m
Talk
Sharing a Perspective on the lambda-Calculus
Onward! Essays
Beniamino Accattoli Inria & Ecole Polytechnique
14:45
45m
Talk
Whither Problem-Solving Environments?
Onward! Essays
Matthew Dinmore Johns Hopkins Applied Physics Laboratory

Sun 22 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XIII

ST30

ST30 Day 1 Session 1

ST30

ST30 Day 1 Session 2 - Invited talk

ST30

ST30 Day 1 Session 3

ST30

ST30 Day 1 Session 4

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XIII

ST30

ST30 Day 2 Session 1

ST30

ST30 Day 2 Session 2

ST30

ST30 Day 2 Session 3

ST30

ST30 Day 2 Session 4 - Panel session

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XIII

PLF

Keynote

PLF

PLF Talks 1

PLF

PLF Talks 2

PLF

PLF Short Talks

Wed 25 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XIII

Onward! Papers

Keynote

Onward! Papers

Beyond Text?

Onward! Papers

Beyond Language?

Onward! Essays

Essays 1

Thu 26 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XIII

Onward! Papers

Onward! Papers

Beyond Programming?

Onward! Essays

Essays 2

Onward! Papers

Fri 27 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XIII

Onward! Papers

Onward! Papers

Onward! Papers

Onward! Papers

Sun 22 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XIII
ST30
A silent semantics for isorecursive session types
09:00 - 09:30
ST30
Mechanising Multiparty Session Types: A Sound and Complete Projection
09:30 - 10:00
ST30
The Concurrent Calculi Formalisation Benchmark
10:00 - 10:30
ST30
Beyond Types for Dyadic Interaction
11:00 - 12:30
ST30
CAPABLE: A Mechanised Imperative Language with Native Multiparty Sessio ...
14:00 - 14:30
ST30
Complete Multiparty Session Type Projection with Automata
14:30 - 15:00
ST30
Multiparty Reactive Sessions
15:00 - 15:30
ST30
The Expressiveness of Session Types
16:00 - 16:30
ST30
What we learned from writing a book about session types
16:30 - 17:00
ST30
So what's the difference between a session type and an ordinary type an ...
17:00 - 17:30

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XIII
ST30
Behavioural up/down casting for statically typed languages
09:00 - 09:30
ST30
Session-Based Typechecking for Elixir Modules Using ElixirST
09:30 - 10:00
ST30
A Semantic Framework for Automatic Composition of Decentralised Industr ...
10:00 - 10:30
ST30
Asynchronous and Synchronous Mixed Sessions
11:00 - 11:30
ST30
Classical Processes in modern dress
11:30 - 12:00
ST30
Labelled Tensor Types in Session Based Programming
12:00 - 12:30
ST30
Benchmarks for Multiparty Session Types
14:00 - 14:30
ST30
Towards Session-Typed Consensus
14:30 - 15:00
ST30
Using Event Structures to model Multiparty Session Types: results and o ...
15:00 - 15:30
ST30
Future Directions for Session Types
16:00 - 17:30

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XIII
PLF
Keynote: Feeling the Local-First Elephant: A Roadmap, Hidden Gems, and ...
09:00 - 10:30
PLF
Collaborative offline-first applications in Education
11:00 - 11:30
PLF
Local-first: experiments & lessons learned building TypeCell
11:30 - 12:00
PLF
Proposal: Versioned Collaborative Documents
12:00 - 12:30
PLF
Can local-first really scale at the edge?
14:00 - 14:30
PLF
Local-first at Actyx
14:30 - 15:00
PLF
Extending Automerge: Undo, Redo, and Move
15:00 - 15:30
PLF
How to Enforce and Verify Invariants in Weakly Consistent Databases
16:00 - 16:22
PLF
Local-First in Practice: Learnings of building a high-performance, loca ...
16:22 - 16:45
PLF
MVC, MVCC and Causal Trees
16:45 - 17:07
PLF
Mixed & Verified Consistency with Propel & ConOpY
17:07 - 17:30

Wed 25 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XIII
SPLASH Onward! PapersKeynote
Creating a learnable and inclusive programming language
09:00 - 10:30
SPLASH Onward! Papers
Time-awareness in Object-exploration Tools: Toward In Situ Omniscient D ...
11:00 - 11:30
SPLASH Onward! Papers
Code Merging Using Transformations and Member Identity
11:30 - 12:00
SPLASH Onward! Papers
Scalable Spreadsheet-driven End-User Applications with Incremental Comp ...
12:00 - 12:30
SPLASH Onward! Papers
Could No-Code be Code? -- Toward a No-Code Programming Language for Cit ...
14:00 - 14:30
SPLASH Onward! Papers
Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, ...
14:30 - 15:00
SPLASH Onward! Papers
Trustworthy Formal Natural Language Specifications
15:00 - 15:30
SPLASH Onward! Essays
Will code remain a relevant user interface for end-user programming wit ...
16:00 - 16:45
SPLASH Onward! Essays
programmingLanguage as Language;
16:45 - 17:30

Thu 26 Oct

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Room XIII
SPLASH Onward! Papers
Cloning And Beyond: A Quantum Solution to Duplicate Code
11:00 - 11:30
SPLASH Onward! Papers
Towards an Industrial Stateful Software Rejuvenation Toolchain Using Mo ...
11:30 - 12:00
SPLASH Onward! Papers
Concept-Centric Software Development: An Experience Report
12:00 - 12:30
SPLASH Onward! Essays
Sharing a Perspective on the lambda-Calculus
14:00 - 14:45
SPLASH Onward! Essays
Whither Problem-Solving Environments?
14:45 - 15:30