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
MSRGothenburg, Sweden27 May - 3 June, 201810/02/18
ISSTAAmsterdam, Netherlands16.22 July, 201829/01/18
ABZSouthampton, UK5-8 June, 201822/01/18
FMOxford, UK15-17 July, 201822/01/18
ECOOPAmsterdam, Netherlands16-22 July, 201812/01/18
ICPCGothenburg, Sweden27-28 May, 201812/12/17
PLDIPhiladelphia, Pennsylvania18-22 June, 201816/11/17
SANERCampobasso, Italy20-23 Mar, 201827/10/17
ETAPSThessaloniki, Greece14-21 April, 201814/10/17
ICSTVasteras, Sweden9-13 April, 201812/10/17
VMCAILos Angeles, California7-9 Jan, 201806/10/17
SACPau, France9-13 April, 201815/09/17
ICSEGothenburg, Sweden27 May - 3 June, 201825/08/17
MODELSWARDMadeira, Portugal22-24 Jan, 201831/07/17
ManLangPrague, Czech Republic25-29 Sep, 201726/06/17
SCAMShanghai, China17-18 Sept, 201719/06/17
SLEVancouver, Canada23-24 Oct, 201709/06/17
ASEUrbana-Champaign, Illinois30 Oct-3 Nov, 201712/05/17
VSTTEHeidelberg, Germany22-23 July, 201708/05/17
ICFEMXi'an, China13-17 Nov, 201707/05/17
ISSREToulouse, France23-26 Oct, 201705/05/17
FMISan Diego, USA4-6 Aug, 201701/05/17
FroCoSBrasilia, Brazil25-29 Sept, 201728/04/17
MEDIBarcelona, Spain4-6 Oct, 201728/04/17
MODELSAustin, Texas17-22 Sept, 201721/04/17
FTfJPBarcelona, Spain18-23 July, 201720/04/17
ESEMToronto, Canada9-10 Nov, 201707/04/17
ICSMEShanghai, China17-23 Sept, 201706/04/17
iFMTurin, Italy20-22 Sept, 201728/03/17
SEFMTrento, Italy6-18 Sept, 201720/03/17
TASENice, France13-15 Sept, 201719/03/17
FSEPaderborn, Germany4-8 Sept, 201722/02/17
ICMTMarburg, Germany17-18 July, 201717/02/17
CiETurku, Finland12-16 June, 201705/01/17
NFMMoffet Field, CA16-18 May, 201728/11/16
RAMiCSENS Lyon, France15-19 May, 201725/11/16

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