CFP: Games for Logic and Programming Languages XIII, Thessaloniki, Greece

Submission deadline: January 22, 2018

Conference date(s):
April 14, 2018 - April 15, 2018

Go to the conference's page

Conference Venue:

Aristotle University of Thessaloniki
Thessaloníki, Greece

Topic areas

Details

Games for Logic and Programming Languages XIII

14-15 April 2018, Thessaloniki, Greece 

An ETAPS-affiliated 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.Submission Instructions

Please submit an abstract (up to one page, excluding bibliography) of your proposed talk on the EasyChair submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC.

https://easychair.org/conferences/?conf=galop2018

The important dates are:

  • Submission: 22 January 2018
  • Notification: 12 February 2018
  • Workshop: 14-15 April 2018

Registration: TBA

Invited Speakers

  • Guy McCusker
  • Matteo Mio
  • Ulrich Schöpp

Programme: TBA  

Programme Committee

  • Federico Aschieri
  • Simon Castellan
  • Ugo Dal Lago (co-chair)
  • Christian Fermüller
  • Valentin Goranko
  • Erich Grädel
  • Ian Mackie
  • Gabriel Sandu (co-chair)
  • Heribert Vollmer
  • Akira Yoshimizu

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

This event has been submitted and is maintained by:

(University of Helsinki)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.