[TYPES/announce] FORMATS'22: second call for papers

2022-02-21 Thread Gethin Norman
Artifact Evaluation Chairs • Akshay Rajhans (USA) • Paolo Zuliani (UK) Publicity Chair • Gethin Norman (UK) Special Track Chair • Alessandro Abate (UK) Program Committee • Alessandro Abate (UK) • Parosh Aziz Abdulla (Sweden) • Erika Abraham (Germany) • Bernhard Aichernig (Austria) • Nicolas Basset

[TYPES/announce] FORMATS 2022: first call for papers

2021-12-03 Thread Gethin Norman
.par...@cs.bham.ac.uk). ORGANISATION Program Chairs • Sergiy Bogomolov (UK) • David Parker (UK) Artifact Evaluation Chairs • Akshay Rajhans (USA) • Paolo Zuliani (UK) Publicity Chair • Gethin Norman (UK) Special Track Chair • Alessandro Abate (UK) Program Committee • Alessandro Abate (UK) • Parosh Aziz Abd

[TYPES/announce] ICALP 2021 Second Call for Workshops

2021-01-25 Thread Gethin Norman
selection committee: Ornela Dardha ornela.dar...@glasgow.ac.uk Gethin Norman gethin.nor...@glasgow.ac.uk

[TYPES/announce] FLoC 2018 Call for Workshops

2017-04-13 Thread Gethin Norman
uestions should be sent to: gethin.nor...@glasgow.ac.uk FLoC 2018 WORKSHOP CHAIR Gethin Norman University of Glasgow

[TYPES/announce] QAPL 2011 Call For Participation

2011-02-11 Thread Gethin Norman
Massink, CNR-ISTI, Pisa, Italy * Gethin Norman, University of Glasgow, UK Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy * Nathalie Bertrand, IRISA/INRIA Rennes, France

[TYPES/announce] QAPL 2011 Call For Presentation reports/Abstracts

2011-01-07 Thread Gethin Norman
, 2011 ORGANIZATION: PC Chairs: * Mieke Massink, CNR-ISTI, Pisa, Italy * Gethin Norman, University of Glasgow, UK Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy

[TYPES/announce] QAPL 2011 Second Call For Papers

2010-11-16 Thread Gethin Norman
(ETAPS proceedings): February 4, 2011 Final version (EPTCS proceedings): TBA For presentation reports: Submission: January 24, 2011 Notification: January 26, 2011 ORGANIZATION: PC Chairs: * Mieke Massink, CNR-ISTI, Pisa, Italy * Gethin Norman, University of Glasgow, UK Program

[TYPES/announce] Special Issue of Quantitative Aspects of Programming Languages and Systems

2010-09-30 Thread Gethin Norman
University of Verona, Italy alessandra.dipie...@univr.it Gethin Norman University of Glasgow, UK gethin.nor...@gla.ac.uk The University of Glasgow, charity number SC004401

[TYPES/announce] QAPL 2011 First Call For Papers

2010-09-23 Thread Gethin Norman
, Pisa, Italy * Gethin Norman, University of Glasgow, UK Program Committee (to be completed): * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy * Nathalie Bertrand, IRISA/INRIA Rennes

[TYPES/announce] Special Issue of Quantitative Aspects of Programming Languages and Systems

2010-06-23 Thread Gethin Norman
Pierro University of Verona, Italy alessandra.dipie...@univr.it Gethin Norman University of Glasgow, UK get...@dcs.gla.ac.uk The University of Glasgow, charity number SC004401

[TYPES/announce] QAPL 2010 Call for Papers

2009-11-18 Thread Gethin Norman
: * Alessandra Di Pierro, University of Verona, Italy * Gethin Norman, University of Glasgow, UK Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Marco Bernardo, University of Urbino, Italy

[TYPES/announce] QAPL 2010 Call for Papers

2009-10-05 Thread Gethin Norman
(ETAPS proceedings): February 15, 2010 Final version (EPTCS proceedings): TBA For presentations: Submission: February 1, 2010 Notification: February 3, 2010 ORGANIZATION: PC Chairs: * Alessandra Di Pierro, University of Verona, Italy * Gethin Norman, University