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

Main Menu



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

Principles of Programming Research Group

Sorted by CFP Date
ConferenceLocationDateCFP Date
PLDIPhiladelphia, Pennsylvania18-22 June, 201816/11/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
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
MSRBuenos Aires, Argentina20-21 May, 201710/02/17
ISSTASanta Barbara, California9-13 July, 201703/02/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
LATAUmea, Sweden6-10 March, 201721/10/16
SANERKlagenfurt, Austria20-24 Feb, 201712/10/16
FMLimassol, Cyprus7-11 Nov, 201616/05/16
MEDIAlmeria, Spain21-23 Sept, 201620/04/16
IJCARCoimbra, PortugalJun 27 - Jul 2, 201618/01/16
ABZLinz, Austria23-27 May, 201615/01/16
SBMFBelo Horizonte, Brazil21-16 Sep, 201513/07/15
HaPoCPisa, Italy8-11 Oct, 201519/06/15

See also:

Recent Papers

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

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