Conference Dates
Conference Dates are in time zone (GMT-06:00) Central Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sun 15 Nov Times are displayed in time zone: Central Time (US & Canada) change
Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change
09:00 - 09:40: GPCE/SLE OpeningGPCE / SLE at SPLASH-III +12h Chair(s): Juan de LaraAutonomous University of Madrid, Laurence TrattKing's College London, Martin ErwigOregon State University, Jeff GrayUniversity of Alabama, Ralf LaemmelFacebook London | |||
09:00 - 09:40 Other | GPCE/SLE Opening GPCE Link to publication |
09:40 - 10:20: GPCE / SLE at SPLASH-III +12h Chair(s): Juan de LaraAutonomous University of Madrid, Jeff GrayUniversity of Alabama, Laurence TrattKing's College London | |||
09:40 - 10:00 Talk | Modeling Black-Box Components with Probabilistic SynthesisBest Paper Award GPCE Bruce CollieUniversity of Edinburgh, Jackson WoodruffUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh Link to publication DOI Media Attached | ||
10:00 - 10:20 Talk | Gradually Typing Strategies SLE Link to publication DOI Pre-print Media Attached |
11:00 - 12:20: GPCE / SLE at SPLASH-III +12h Chair(s): Benoit CombemaleUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Eric Van WykUniversity of Minnesota, USA | |||
11:00 - 11:20 Talk | Automated Variability Injection for Graphical Modelling Languages GPCE Antonio GarmendiaJKU Linz, Manuel WimmerJKU Linz, Esther GuerraAutonomous University of Madrid, Elena Gómez-MartínezAutonomous University of Madrid, Juan de LaraAutonomous University of Madrid Link to publication DOI Pre-print Media Attached | ||
11:20 - 11:40 Talk | Modular and Distributed IDE SLE Fabien CoulonObeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Alex AuvolatUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit CombemaleUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Yérom-David BrombergUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, François TaïaniUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier BaraisUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Noël PlouzeauUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France Link to publication DOI Pre-print Media Attached | ||
11:40 - 12:00 Talk | Correctness-by-Construction for Feature-Oriented Software Product Lines GPCE Link to publication DOI Media Attached | ||
12:00 - 12:20 Talk | A Family of Languages for Trustworthy Agent-Based Simulation SLE Link to publication DOI Pre-print Media Attached |
13:00 - 13:20 Talk | Multi-stage Programming in the Large with Staged Classes GPCE Link to publication DOI Media Attached | ||
13:20 - 13:40 Talk | Software Language Engineers’ Worst Nightmare SLE Vadim ZaytsevUniversity of Twente, Netherlands Link to publication DOI Pre-print Media Attached | ||
13:40 - 14:00 Talk | Reorganizing Queries with Grouping GPCE Link to publication DOI Media Attached | ||
14:00 - 14:20 Talk | Principles and Patterns of JastAdd-Style Reference Attribute Grammars SLE Link to publication DOI Media Attached |
21:00 - 21:40: GPCE/SLE OpeningGPCE / SLE at SPLASH-III Chair(s): Martin ErwigOregon State University, Jeff GrayUniversity of Alabama, Juan de LaraAutonomous University of Madrid, Laurence TrattKing's College London, Ralf LaemmelFacebook London | |||
21:00 - 21:40 Other | GPCE/SLE Opening GPCE Link to publication |
21:40 - 22:20: GPCE / SLE at SPLASH-III Chair(s): Laurence TrattKing's College London, Jeff GrayUniversity of Alabama, Juan de LaraAutonomous University of Madrid | |||
21:40 - 22:00 Talk | Modeling Black-Box Components with Probabilistic SynthesisBest Paper Award GPCE Bruce CollieUniversity of Edinburgh, Jackson WoodruffUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh Link to publication DOI Media Attached | ||
22:00 - 22:20 Talk | Gradually Typing Strategies SLE Link to publication DOI Pre-print Media Attached |
23:00 - 23:20 Talk | Automated Variability Injection for Graphical Modelling Languages GPCE Antonio GarmendiaJKU Linz, Manuel WimmerJKU Linz, Esther GuerraAutonomous University of Madrid, Elena Gómez-MartínezAutonomous University of Madrid, Juan de LaraAutonomous University of Madrid Link to publication DOI Pre-print Media Attached | ||
23:20 - 23:40 Talk | Modular and Distributed IDE SLE Fabien CoulonObeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Alex AuvolatUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit CombemaleUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Yérom-David BrombergUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, François TaïaniUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier BaraisUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Noël PlouzeauUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France Link to publication DOI Pre-print Media Attached | ||
23:40 - 00:00 Talk | Correctness-by-Construction for Feature-Oriented Software Product Lines GPCE Link to publication DOI Media Attached | ||
00:00 - 00:20 Talk | A Family of Languages for Trustworthy Agent-Based Simulation SLE Link to publication DOI Pre-print Media Attached |
Mon 16 Nov Times are displayed in time zone: Central Time (US & Canada) change
Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change
01:00 - 01:20 Talk | Multi-stage Programming in the Large with Staged Classes GPCE Link to publication DOI Media Attached | ||
01:20 - 01:40 Talk | Software Language Engineers’ Worst Nightmare SLE Vadim ZaytsevUniversity of Twente, Netherlands Link to publication DOI Pre-print Media Attached | ||
01:40 - 02:00 Talk | Reorganizing Queries with Grouping GPCE Link to publication DOI Media Attached | ||
02:00 - 02:20 Talk | Principles and Patterns of JastAdd-Style Reference Attribute Grammars SLE Link to publication DOI Media Attached |
15:00 - 15:20 Talk | A Semantic Framework for PEGs SLE Sergio Queiroz de MedeirosUniversidade Federal do Rio Grande do Norte, Carlos OlarteFederal University of Rio Grande do Norte, Brazil Link to publication DOI Pre-print Media Attached | ||
15:20 - 15:40 Talk | Untangling Mechanized Proofs SLE Clément Pit-ClaudelMIT CSAIL DOI Pre-print Media Attached |
Tue 17 Nov Times are displayed in time zone: Central Time (US & Canada) change
Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change
03:00 - 03:20 Talk | A Semantic Framework for PEGs SLE Sergio Queiroz de MedeirosUniversidade Federal do Rio Grande do Norte, Carlos OlarteFederal University of Rio Grande do Norte, Brazil Link to publication DOI Pre-print Media Attached | ||
03:20 - 03:40 Talk | Untangling Mechanized Proofs SLE Clément Pit-ClaudelMIT CSAIL DOI Pre-print Media Attached |
Sun 15 Nov Times are displayed in time zone: Central Time (US & Canada) change
Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | 22:00 | 30 | 23:00 | 30 | 0:00 | 30 |
---|
Mon 16 Nov Times are displayed in time zone: Central Time (US & Canada) change
Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change
Room | 1:00 | 30 | 2:00 | 30 | 3:00 | 30 | 4:00 | 30 | 5:00 | 30 | 6:00 | 30 | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | 22:00 | 30 | 23:00 | 30 | 0:00 | 30 |
---|
Tue 17 Nov Times are displayed in time zone: Central Time (US & Canada) change
Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change
Room | 1:00 | 30 | 2:00 | 30 | 3:00 | 30 |
---|
Sun 15 Nov Times are displayed in time zone: Central Time (US & Canada) change
Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | 21:00 | 15 | 30 | 45 | 22:00 | 15 | 30 | 45 | 23:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SPLASH-III | GPCE GPCE/SLE Opening 09:00 - 09:40 | SLE Gradually Typing Strategies 10:00 - 10:20 | SLE Modular and Distributed IDE 11:20 - 11:40 | SLE Software Language Engineers’ Worst Nightmare 13:20 - 13:40 | GPCE Reorganizing Queries with Grouping 13:40 - 14:00 | GPCE Manipulating GUI Structures Declaratively 15:00 - 15:20 | SLE Block-Based Syntax from Context-Free Grammars 15:20 - 15:40 | SLE Monadification of Attribute Grammars 17:20 - 17:40 | SLE Strategic Tree Rewriting in Attribute Grammars 18:00 - 18:20 | GPCE GPCE/SLE Opening 21:00 - 21:40 | SLE Gradually Typing Strategies 22:00 - 22:20 | SLE Modular and Distributed IDE 23:20 - 23:40 |
Mon 16 Nov Times are displayed in time zone: Central Time (US & Canada) change
Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change
Room | 0:00 | 15 | 30 | 45 | 1:00 | 15 | 30 | 45 | 2:00 | 15 | 30 | 45 | 3:00 | 15 | 30 | 45 | 4:00 | 15 | 30 | 45 | 5:00 | 15 | 30 | 45 | 6:00 | 15 | 30 | 45 | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | 21:00 | 15 | 30 | 45 | 22:00 | 15 | 30 | 45 | 23:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SPLASH-III | SLE Software Language Engineers’ Worst Nightmare 01:20 - 01:40 | GPCE Reorganizing Queries with Grouping 01:40 - 02:00 | GPCE Manipulating GUI Structures Declaratively 03:00 - 03:20 | SLE Block-Based Syntax from Context-Free Grammars 03:20 - 03:40 | SLE Monadification of Attribute Grammars 05:20 - 05:40 | SLE Strategic Tree Rewriting in Attribute Grammars 06:00 - 06:20 | SLE Towards the Optical Character Recognition of DSLs 07:20 - 07:40 | SLE Example-Driven Software Language Engineering 11:20 - 11:40 | SLE A Semantic Framework for PEGs 15:00 - 15:20 | SLE Untangling Mechanized Proofs 15:20 - 15:40 | SLE Towards the Optical Character Recognition of DSLs 19:20 - 19:40 | SLE Example-Driven Software Language Engineering 23:20 - 23:40 |
Tue 17 Nov Times are displayed in time zone: Central Time (US & Canada) change
Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change
Room | 0:00 | 15 | 30 | 45 | 1:00 | 15 | 30 | 45 | 2:00 | 15 | 30 | 45 | 3:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SPLASH-III | SLE A Semantic Framework for PEGs 03:00 - 03:20 | SLE Untangling Mechanized Proofs 03:20 - 03:40 |
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format