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
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
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
VMCAIParis,France15-17 Jan, 201721/09/16
ICSEBuenos Aires, Argentina20-28 May, 201726/08/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

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