[TYPES/announce] GALOP III @ ETAPS 2008 : Call For Papers/Abstracts

[Dan Ghica]

==== Call for Papers ====

==== 3rd Workshop on Games for Logic and Programming Languages ====
==== (GaLoP 2008) ====

==== April 5-6 ====
==== Budapest, Hungary ====
==== An ETAPS 2008 Workshop ====

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 and invited talks.

The Third GaLoP will be held in Hungary, Budapest between April 5 and 6.
It will be part of the European Joint Conferences on Theory and
Practice of
Software (ETAPS 2008).

Contributions are invited on all pertinent subjects, with particular
interest
in compositional game-semantic models in the style of Hyland-Ong or
Abramsky-Jagadeesan-Malacaria. Typical but not exclusive areas of
interest
are: categorical aspects; algorithmic aspects; programming languages and
full abstraction; semantics of logics and proof systems; proof search;
higher-order automata; program verification and model checking; program
analysis; security; theories of concurrency; probabilistic models.

Instructions for submission will be posted on the workshop's web page:
	
	http://www.cs.bham.ac.uk/galop

There will be no formal proceedings but the possibility of a special
issue in
a journal will be discussed (selected papers from Galop 2005 will
appear in
Annals of Pure and Applied Logic).


Invited Speakers

# Gabriel Sandu, Helsinki
# Paul-André Melliès, PPS


Important Dates

Submission: February 1
Notification: March 1
Workshop: April 5-6


Program Committee

# Dan Ghica (co-chair), Birmingham
# Russ Harmer (co-chair), PPS
# Martin Hyland, Cambridge
# Pierre Hyvernat, Savoie
# Jim Laird, Sussex
# John Longley, Edinburgh
# Andrzej Murawski, Oxford
# Andrea Schalk, Manchester





---
Dr. Dan Ghica, Lecturer
School of Computer Science
University of Birmingham
Birmingham B15 2TT
tel: +44 121 414 8819
mailto:D.R.Ghica at cs.bham.ac.uk
http://www.cs.bham.ac.uk/~drg