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
MODELSAustin, Texas17-22 Sept, 2017??/04/17
iFMTurin, Italy20-22 Sept, 201728/03/17
FSEPaderborn, Germany4-8 Sept, 201722/02/17
ICMTMarburg, Germany17-18 July, 201717/02/17
ISSTASanta Barbara, California9-13 July, 201703/02/17
TASENice, France13-15 Sept, 2017??/01/17
ECOOPBarcelona, Spain19-23 June, 201713/01/17
CiETurku, Finland12-16 June, 201705/01/17
ICPCBuenos Aires, Argentina22-23 May, 201712/12/16
NFMMoffet Field, CA16-18 May, 201728/11/16
RAMiCSENS Lyon, France15-19 May, 201725/11/16
PLDIBarcelona, Spain18-23 June, 201715/11/16
LATAUmea, Sweden6-10 March, 201721/10/16
ETAPSUppsala, Sweden22-29 April, 201714/10/16
SANERKlagenfurt, Austria20-24 Feb, 201712/10/16
MODELSWARDPorto, Portugal19-21 Feb, 201707/10/16
ICSTTokyo, Japan13-18 Mar, 201730/09/16
SACMarrakesh, Morocco3-7 April, 201729/09/16
ICSEBuenos Aires, Argentina20-28 May, 201726/08/16
SCAMRaleigh, NC2-3 Oct, 201620/06/16
SLEAmsterdam, Netherlands31 Oct - 1 Nov, 201617/06/16
ISSREOttawa, Canada23-27 Oct, 201613/06/16
PPPJLugano, Switzerland29 Aug - 2 Sep, 201613/06/16
FMLimassol, Cyprus7-11 Nov, 201616/05/16
FroCoSCoimbra, Portugal27 Jun - 2 July, 201604/05/16
ASESingapore3-7 Sept, 201622/04/16
ICFEMTokyo, Japan14-18 Nov, 201622/04/16
MEDIAlmeria, Spain21-23 Sept, 201620/04/16
ESEMCiudad Real, Spain8-9 Sept, 201607/04/16
ICSMERaleigh, NC2-10 Oct, 201601/04/16
SEFMVienna, Austria4-8 July, 201622/02/16
IJCARCoimbra, PortugalJun 27 - Jul 2, 201618/01/16
ABZLinz, Austria23-27 May, 201615/01/16
VMCAISt. Petersburg, Florida17-19 Jan, 201604/09/15
SBMFBelo Horizonte, Brazil21-16 Sep, 201513/07/15
HaPoCPisa, Italy8-11 Oct, 201519/06/15
FTfJPPrague, Czech Republic 7 July, 201502/04/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