ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 14:00 - 14:30 at S3 - VII

We report on work-in-progress related to our recent study of finite semantics for MLL2.

Sun 7 Apr

galop-2019-papers
13:30 - 15:30: GaLoP - VII at S3
galop-2019-papers13:30 - 14:00
Talk
Pierre ClairambaultCNRS & ENS Lyon, Marc De VismeENS Lyon
galop-2019-papers14:00 - 14:30
Talk
galop-2019-papers14:30 - 15:00
Talk
galop-2019-papers15:00 - 15:30
Talk
Abhishek DeIRIF, CNRS, France, Alexis Saurin