[TYPES/announce] GaLoP 2008 : Submission Deadline Extended

[Dan Ghica]

Dear all,

The submission deadline for the Games for Logic and Programming  
Languages III workshop (ETAPS 2008, March 29 - April 6, 2008,  
Budapest, Hungary) has been extended to February 14. The call for  
submissions is attached below.


GAMES FOR LOGIC AND PROGRAMMING LANGUAGES III
ETAPS 2008, March 29 - April 6, 2008, Budapest, Hungary
==============================================

*The submission deadline has been extended to February 14.*

The submission site is open:

http://www.easychair.org/conferences/?conf=galop08

Introduction

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.

Contributions are invited on all pertinent subjects, with particular  
interest in compositional game-semantic models. 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.

Publication

This is intended to be an informal workshop without widely  
distributed proceedings. We therefore ask for submission both of  
short abstracts outlining what will be presented at the workshop and  
of longer papers describing completed work, either published or  
unpublished, in the relevant areas.

A special issue of the journal Annals of Pure and Applied Logic  
associated with the workshop will be discussed at the workshop.

Important dates
# Submission: February 14
# Notification: March 1
# Workshop: April 5-6

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

Program committee
# Dan Ghica (co-chair), Birmingham
# Russ Harmer (co-chair), PPS
# Martin Hyland, Cambridge
# Pierre Hyvernat, Savoie
# Jim Laird, Bath
# 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