ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Main Menu

Searching By

PARTNERS

Contact us

GaLoP 2016 - 2016 Games for Logic and Programming Languages XI

Date2016-04-02 - 2016-04-08

Deadline2015-10-16

VenueEindhoven, Netherlands, The Netherlands, The

Keywords

Websitehttps://www.etaps.org

Topics/Call fo Papers

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.
Organizer: Dan Ghica

Other CFPs

  1. 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering
  2. 13th International Workshop on Formal Engineering approaches to Software Components and Architectures
  3. 7th International Workshop on Developments in Implicit Computational complExity
  4. Design Support for Energy-Aware/Constrained Embedded Systems
  5. 1st Workshop on Causal-based Reasoning for Embedded Systems Technologies

Last modified: 2015-09-03 22:37:27