Site Map Navigation Internal Restricted Login
Antonio Cerone's Website
Home Family Interests Research Training
Welcome >> Home
My Photo
LOCAL LINKS
Home
Biography
Contact
Job Description
Professional Activities
Mission Trips
Useful Tools
Fun

Professional Activities

Currenct Activities

Steering Committee Chair of
SEFM - International Conference on Software Engineering and Formal Methods
Steering Commitee Member of
OpenCert - International Workshop on Fondations and Techniques for Open Source Software Certification
QAPL - Workshop on Quantitative Aspects of Programming Languages
Program Co-chair of
ICTAC 2011 - 8th International Colloquium on Theoretical Aspects of Computing
OpenCert 2O10 - 4th International Workshop on Fondations and Techniques for Open Source Software Certification
WCIM 2009 - Workshop on Cultural Informatics for Macau
Guest Editor of
Special Issue on Software Engineering and Formal Methods (outcoming)
of the journal Formal Aspects of Computing
Special Issue on Formal Methods for Interactive Systems (Vol. 21, No. 6)
of the journal Formal Aspects of Computing
Regional Representative for South-East Asia of
EASST - European Association of Software Science and Technology
Editorial Board Member for
ECEASST - Electronic Communications of the EASST
Publicity Chair of
OSS 2011 - 7th International Conference on Open Source Systems
Program Commitee Member of
FMIS 2011 - 4th International Workshop on Formal Methods for Interactive Systems
QAPL 2011 - 9th Workshop on Quantitative Aspects of Programming Languages
ICEGOV 2010 - 4th International Conference on Electronic Governance
SIGDOC 2010 - 28th ACM Annual International Conference on Design of Communication
SEFM 2010 - 8th IEEE International Conference on Software Engineering and Formal Methods
ICTAC 2010 - 7th International Colloquium on Theoretical Aspects of Computing
OSS 2010 - 6th International Conference on Open Source Systems
QAPL 2010 - 8th Workshop on Quantitative Aspects of Programming Languages
AMCA-POP 2010 - Application of Membrane computing, Concurrency and Agent-based modelling in POPulation biology
ICDCIT 2010 - 6th International Conference on Distributed Computing and Internet Technologies
SEFM 2OO9 - 7th IEEE International Conference on Software Engineering and Formal Methods
ChWFM 2009 - Chilean Workshop on Formal Methods
SEW 2009 - 33rd Annual IEEE Software Engineering Workshop 2009
OSS 2009 - 5th International Conference on Open Source Systems
FMIS 2009 - 3rd International Workshop on Formal Methods for Interactive Systems
Tutorials
Model-checking in Human-computer Interaction
on 11 September 2007 in London at SEFM 2007
Memberships
FME - Formal Methods Europe
EASST - European Association of Software Science and Technology
CViT - Center for the Development of a Virtual Tumor
TRain - The Railway Domain

Past Activities

Program Chair or Co-chair of
OpenCert 2OO9 - 3rd International Workshop on Fondations and Techniques for Open Source Software Certification
SEFM 2OO8 - 6th IEEE International Conference on Software Engineering and Formal Methods
OpenCert 2OO8 - 2nd International Workshop on Fondations and Techniques for Open Source Software Certification
FMIS 2OO7 - 1st International Workshop on Formal Methods for Interactive Systems
ICTAC 2OO6 - 3rd International Colloquium on Theoretical Aspects of Computing
FMIS 2OO6 - 1st International Workshop on Formal Methods for Interactive Systems
QAPL 2005 - 3rd Workshop on Quantitative Aspects of Programming Languages
QAPL 2004 - 2nd Workshop on Quantitative Aspects of Programming Languages

SEFM 2003 - 1st International Conference on Software Engineering and Formal Methods

Finance Chair of
SEFM 2004 - 2nd International Conference on Software Engineering and Formal Methods

Local Arrangement Chair of
SEFM 2003 - 1st International Conference on Software Engineering and Formal Methods

Organisation Chair of
ATVA 2009 - 7th International Symposium on Automated Technology for Verification and Analysis
QAPL 2006 - 4th Workshop on Quantitative Aspects of Programming Languages

Guest Editor of
Special Issue on Formal Methods for Interactive Systems
of the journal Innovations in Systems and Software Engineering
Special Issue on Theoretical Aspects of Computing
of the journal Formal Aspects of Computing
Special Issue on Quantitative Aspects of Programming Languages
of the journal Theoretical Computer Science

Member of the Organising Committee of
QAPL 2006 - 4th Workshop on Quantitative Aspects of Programming Languages
FACS 2005 - International Workshop on Formal Aspects of Component Software

Organiser of
Courses on
3rd International School on Software Engineering and Formal Methods
(Pisa, Italy, 6-11 September 2010).
2nd International School on Software Engineering and Formal Methods
(Hanoi, Vietnam, November 2009).
1st International School on Software Engineering and Formal Methods
(Cape Town, South Africa, 27 October - 7 November 2009).
1st International School on Methodologies and Tools for Human-computer Interaction
(Rio de Janeiro, Brazil, 17-21 September 2007).
IFIP-UNU Advanced Course on Networking and Security
(Maputo, Mozambique, 9-20 July and 13-17 August 2007).
ICTAC School 2OO6 on Software Engineering: Refinement.
(Tunis, Tunisia, 13 - 17 November 2006);
International School on Advanced Topics in Networking, Security and Verification
(Bandung, Indonesia, 28 November - 9 December 2005);
Pernambuco School on Software Engineering: Refinement
(Recife, Brazil, 23 November - 5 December 2004).

PC Member and Reviewer
for several international conferences and workshops

Reviewed submissions to the following journals
Theoretical Computer Science;
Formal Aspects of Computing;
Software and Systems Modeling;
ACM Transactions on Computer-Human Interaction;
Journal of Logic and Algebraic Programming.
BACK TO TOP
Created: Sun Jul 31 08:38:19 CST 2005 Feedback
Updated: Thu Oct 21 09:53:39 CST 2010