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
.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
selection committee:
Ornela Dardha ornela.dar...@glasgow.ac.uk
Gethin Norman gethin.nor...@glasgow.ac.uk
uestions should be sent to:
gethin.nor...@glasgow.ac.uk
FLoC 2018 WORKSHOP CHAIR
Gethin Norman
University of Glasgow
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
, 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
(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
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
, 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
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
:
* 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
(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
12 matches
Mail list logo