Principles of Programming Research Group
Research | Computer Science | Maynooth University

Main Menu

Faculty

Postgrads

MU logo
Dept. of Computer Science
Maynooth University
Co. Kildare, Ireland

Principles of Programming Research Group

Sorted by CFP Date

ConferenceLocationDateCFP Date
Raleigh, NC2-3 Oct, 201620/06/16
Amsterdam, Netherlands31 Oct - 1 Nov, 201617/06/16
Limassol, Cyprus7-11 Nov, 201616/05/16
Coimbra, Portugal27 Jun - 2 July, 201604/05/16
Tokyo, Japan14-18 Nov, 201622/04/16
Singapore3-7 Sept, 201622/04/16
Almeria, Spain21-23 Sept, 201620/04/16
Ciudad Real, Spain8-9 Sept, 201607/04/16
Raleigh, NC2-10 1 Oct, 201501/04/16
Britanny, France2-7 Oct, 201601/04/16
Seattle, WA13-19 Nov, 201611/03/16
Vienna, Austria4-8 July, 201622/02/16
Minneapolis, MN7-9 June, 201619/02/16
Vienna, Austria4-8 July, 201615/02/16
Austin, Texas16-17 May, 201608/02/16
Saarbrucken, Germany18-22 July, 201629/01/16
Coimbra, PortugalJun 27 - Jul 2, 201618/01/16
Linz, Austria23-27 May, 201615/01/16
Reykjavik, Iceland1-3 June, 201621/12/15
Rome, Italy18-22 July, 201608/12/15
Santa Barbara, California13-17 June, 201608/11/15
Osaka, Japan14-18 March, 201606/11/15
Chicago, IL10-15 Apr, 201623/10/15
Eindhoven, The Netherlands2-8 April, 201609/10/15
Pisa, Italy4-8 April, 201611/09/15
Rome, Italy19-21 Feb, 201608/09/15
St. Petersburg, Florida17-19 Jan, 201604/09/15
Austin, Texas14-22 May, 201628/08/15
Belo Horizonte, Brazil21-16 Sep, 201513/07/15
Pisa, Italy8-11 Oct, 201519/06/15
Melbourne, Florida9-11 Sept, 201507/06/15
Gaithersburg, MD2-5 Nov, 201523/05/15
Prague, Czech Republic 7 July, 201502/04/15
Braga, Portugal28 Sept - 1 Oct, 201518/03/15

See also:

Recent Papers

SoSyM 2016
Formalised EMFTVM bytecode language for sound verification of model transformations

ESSLLI 2016
Modularising and Promoting Interoperability for Event-B Specifications using Institution Theory

SAC 2016
Evaluating the Use of a General-Purpose Benchmark Suite for Domain-Specific SMT-solving

ICMT 2015
A sound execution semantics for ATL via translation validation

C3GI 2014
Creating Formal Specifications with Analogical Reasoning

CiE 2014
An early completion algorithm: Thue's 1914 paper on the transformation of symbol sequences