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

Main Menu

Searching By

PARTNERS

Contact us

GALOP 2018 - International Workshop on Games for Logic and Programming Languages (GALOP)

Date2018-04-14 - 2018-04-15

Deadline2018-01-18

VenueThessaloniki, Greece Greece

Keywords

Websitehttps://www.etaps.org/index.php/2018/workshops

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.
This is an established ETAPS workshop, which has been running for the past 12 years.
Organiser: Dan R. Ghica

Other CFPs

  1. International Workshop on Formal methods for ML-based autonomous systems (FoMLAS)
  2. 9th International workshop on Developments in Implicit Computational complExity (DICE 2018)
  3. 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018)
  4. 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018)
  5. 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis

Last modified: 2017-11-28 17:40:31