[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


                         *** CALL FOR PAPERS ***

                                 GaLoP V

       5th Workshop on Games for Logic and Programming Languages
                     (satellite event of ETAPS 2010)

                             Paphos, Cyprus
                            20-21 March 2010




   Submission deadline:   January 25, 2010
   Notification date:     February 3, 2010
   Workshop:              March 20-21, 2010



GaLoP is an annual international workshop on game-semantic models for
logics and programming languages and their applications. This is an
informal workshop that welcomes work in progress, overviews of more
extensive work, programmatic or position papers and tutorials as well
as contributed papers.

Accordingly, we ask for submission of both short abstracts outlining
what will be presented at the workshop and longer papers describing
completed work, either published or unpublished.

The fifth GaLoP will be held in Paphos (Cyprus) between March 20 and
21 and will be part of the European Joint Conferences on Theory and
Practice of Software (ETAPS 2010).

Contributions are invited on all pertinent subjects.
Typical (but not exclusive) areas are:

- games and categorical semantics,
- algorithmic aspects of games,
- programming languages and full abstraction,
- semantics of logics and proof systems,
- proof search,
- program verification and model checking,
- program analysis,
- theories of concurrency.

There will be no formal proceedings. In previous years, a special issue
of the Annals of Pure and Applied Logic has been produced, and this
possibility will be pursued again this year.


   Thierry Coquand, Goteborg
   Claudia Faggian, Paris (co-chair)
   Olivier Laurent, Lyon (co-chair)
   Pasquale Malacaria, London
   Luke Ong, Oxford
   Alexis Saurin, Paris
   Igor Walukiewicz, Bordeaux
   Nobuko Yoshida, London

Reply via email to