* Call for participation: Games for Logic and Programming Languages XI
@ 2016-02-25 4:28 Paul Blain Levy
0 siblings, 0 replies; 2+ messages in thread
From: Paul Blain Levy @ 2016-02-25 4:28 UTC (permalink / raw)
To: types-announce, categories
Dear colleagues,
I'm happy to announce a great programme for GaLoP 2016, which takes
place on 2-3 April in Eindhoven, Netherlands, as part of ETAPS 2016.
http://www.gamesemantics.org
**Early registration deadline for ETAPS**
this Tuesday (1 March)
Sorry for the late announcement!
We have John Longley as invited speaker, and a game semantics tutorial
(tbc) by Dan Ghica.
Accepted papers:
Weak memory models using event structures
Simon Castellan
Partial Evaluation and Normalisation by Traversals
Neil Jones and Daniil Berezun
A Dialectica-Like Approach to Tree Automata
Colin Riba
Concrete Data Structures as Dialogue Games
Cl??ment Jacq and Paul-Andr?? Melli??s
Relating causal and interleaving concurrent game semantics Pierre
Clairambault and Simon Castellan
Extraction from classical proofs using game models
Valentin Blot
Constructing playgrounds: fibred double categories
Clovis Eberhart and Tom Hirschowitz
Game Semantics for Dependent Types
Matthijs V??k??r
Trace semantics for polymorphic references
Guilhem Jaber and Nikos Tzevelekos
Game Semantics and the Complexity of Interaction
Federico Aschieri
Interaction Graphs and Quantitative Semantics
Thomas Seiler
Data and Functions Types in Ludics
Alice Pavaux
Games with ordinal sequences of moves
W. John Gowers and James D. Laird
Probabilistic Games for Differential Privacy
Luca Fossati and Marco Gaboardi
On Compilation and Call-by-Value Games
Ulrich Sch??pp
Strategies in HO/N games as profunctors
Takeshi Tsukada and Kazuyuki Asada
Decidability of RML via game semantics
Andrzej Murawski
**Early registration deadline**
Tuesday 1 March (in case you've forgotten)
I look forward to seeing you at GaLoP 2016.
Best regards,
Paul
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Call for participation: Games for Logic and Programming Languages XI
[not found] ` <56B099D4.70305-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org>
@ 2016-02-25 4:28 ` Paul Blain Levy
0 siblings, 0 replies; 2+ messages in thread
From: Paul Blain Levy @ 2016-02-25 4:28 UTC (permalink / raw)
To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8,
categories-59hdLBrVOVU, moca-announce-HnE2qM1WCGk4M/bo5TPICw,
fom-+I05ep9qJbk3uPMLIKxrzw,
concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/,
galop-dxBOTFGcEFw2EctHIo1CcQ,
prooftheory.list-Re5JQEeQqe8AvxtiuMwx3w,
wessex-theory-sBK8fsN9CKk2EctHIo1CcQ
Dear colleagues,
I'm happy to announce a great programme for GaLoP 2016, which takes
place on 2-3 April in Eindhoven, Netherlands, as part of ETAPS 2016.
http://www.gamesemantics.org
**Early registration deadline for ETAPS**
this Tuesday (1 March)
Sorry for the late announcement!
We have John Longley as invited speaker, and a game semantics tutorial
(tbc) by Dan Ghica.
Accepted papers:
Weak memory models using event structures
Simon Castellan
Partial Evaluation and Normalisation by Traversals
Neil Jones and Daniil Berezun
A Dialectica-Like Approach to Tree Automata
Colin Riba
Concrete Data Structures as Dialogue Games
Clément Jacq and Paul-André Melliès
Relating causal and interleaving concurrent game semantics Pierre
Clairambault and Simon Castellan
Extraction from classical proofs using game models
Valentin Blot
Constructing playgrounds: fibred double categories
Clovis Eberhart and Tom Hirschowitz
Game Semantics for Dependent Types
Matthijs Vákár
Trace semantics for polymorphic references
Guilhem Jaber and Nikos Tzevelekos
Game Semantics and the Complexity of Interaction
Federico Aschieri
Interaction Graphs and Quantitative Semantics
Thomas Seiler
Data and Functions Types in Ludics
Alice Pavaux
Games with ordinal sequences of moves
W. John Gowers and James D. Laird
Probabilistic Games for Differential Privacy
Luca Fossati and Marco Gaboardi
On Compilation and Call-by-Value Games
Ulrich Schöpp
Strategies in HO/N games as profunctors
Takeshi Tsukada and Kazuyuki Asada
Decidability of RML via game semantics
Andrzej Murawski
**Early registration deadline**
Tuesday 1 March (in case you've forgotten)
I look forward to seeing you at GaLoP 2016.
Best regards,
Paul
_______________________________________________
FOM mailing list
FOM@cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2016-02-25 4:28 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-02-25 4:28 Call for participation: Games for Logic and Programming Languages XI Paul Blain Levy
[not found] <56B099D4.70305@cs.bham.ac.uk>
[not found] ` <56B099D4.70305-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org>
2016-02-25 4:28 ` Paul Blain Levy
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).