Site Map Navigation Internal Restricted Login
Antonio Cerone's Website
Home Family Interests Research Training
Welcome >> Home >> Training
My Photo
LOCAL LINKS
Training
Schools
Courses
Supervision

Courses

I teach courses on:

Formal Methods for Human-Computer Interaction

Security: Principles, Techniques and Verification

Formal Aspects of Software Development

Past Courses

Formal Methods for Human-Computer Interaction

Rio de Janeiro, Brazil, 17 - 21 September 2007
Title: Methodologies for the Formal Analysis of Human-computer Interaction
(at the 1st International School on Methodologies and Tools for Human-computer Interaction)
Call for Application | Application Form | Photos
Materials

Pisa, Italy, February-March 2007
Title: Formal Methods for Interactive Systems
Materials (Access Restricted to Attendees)

Security: Principles, Techniques and Verification

Iasi, Romania, 4 - 8 April 2006
Title: Security: From Basic Concepts and Techniques to Formal Models and Methods
Call for Application | Application Form | Photos
Materials (Access Restricted to Attendees)

Bandung, Indonesia, 28 November - 7 December 2005
Title: Security: Principles, Techniques and Verification
(at the International School on Advanced Topics in Networking, Security and Verification)
Photos
Materials (Access Restricted to Attendees)

Hanoi, Vietnam, 10-14 October 2005
Title: Security: Principles, Techniques and Verification
(at the ICTAC 2005 School)
Photos
Materials (Access Restricted to Attendees)

Formal Aspects of Software Development

Jakarta, Indonesia, 8-12 August 2005
Title: Formal Aspects of Software Development
Flyer | Photos
Materials (Access Restricted to Attendees)

Maputo, Mozambique, 26-30 July 2004
Title: Formal Software Specification Using Raise
Photos
Materials (Access Restricted to Attendees)


BACK TO TOP
Created: Fri Nov 25 22:26:47 CST 2005 Feedback
Updated: Thu Oct 18 10:03:38 CST 2007