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
SCAMMadrid, Spain23-24 Sept, 201819/06/18
iFMMaynooth, Ireland5-7 Sept, 201820/04/18
ICSMEMadrid, Spain23-29 Sept, 201806/04/18
FSELake Buena Vista, Florida4-9 Nov, 201809/03/18
SEFMToulouse, France27-29 June, 201802/03/18
TASEGuangzhou, China29-31 August, 201702/03/18
MSRGothenburg, Sweden27 May - 3 June, 201810/02/18
ICPCGothenburg, Sweden27-28 May, 201806/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
NFMNewport News, VA17-19 April, 201811/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
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
ICMTMarburg, Germany17-18 July, 201717/02/17
CiETurku, Finland12-16 June, 201705/01/17
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