Mission Trips

Planned Missions

Mon 6 December 2010 - Tue 4 January 2011, Pisa (Italy)

To visit the University of Pisa,
and present a PhD course on Formal modelling and Analysis of Interactive Systems.

Previous Missions

Thu 2 August - Wed 6 October 2010, UK, Germany, Italy

To visit Coventry University,
Coventry, UK, Thu 2 - Fri 20 August 2010;

To give a presentation at AMCA-POP 2010;
Jena, Germany, Wed 25 August 2010.

To visit the University of Pisa,
Pisa, Italy, Mon 6 - Tue 21 September and Mon 4 - Wed 6 October 2010;

To organise and teach at the 3rd International School on Software Engineering and Formal Methods; Pisa, Italy, Mon 6 - Fri 11 September 2010;

attend and co-ordinate the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010); Pisa, Italy, Mon 13 - Thu 16 September 2010;

To co-chair the 4th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2010); Pisa, Italy, Fri 17 - Sat 18 September 2010;

Thu 2 - Sun 13 December 2009, Rio de Janeiro (Brazil)

To organise and teach at the ICFEM 2009 School;

Thu 12 - Thu 19 November 2009, Hanoi (Vietnam)

To organise and teach at the 2nd International School on Software Engineering and Formal Methods;

Thu 23 August - Fri 22 September 2007, Italy, UK, Brazil

To visit the University of Pisa,
Pisa, Italy, Thu 31 August - Mon 3 September 2007;

To co-chair the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007);
To attend the HCI 2007;
Lancaster, UK, Mon 3 - Fri 7 September 2007.

To present a tutorial, give a presentation, participate in meetings at the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007);
London, UK, Mon 11 - Fri 14 September 2007.

To organise and teach at the International School on Methodologies and Tools for Human-computer Interaction; Rio de Janeiro, Brazil, Mon 17 - Fri 21 September 2007.

Thu 15 December 2006 - Mon 17 April 2007, Italy, Portugal

To visit the University of Pisa, and give a PhD course on Formal Methods for Interactive Systems, Pisa, Italy, Mon 15 December 2006 - Fri 23 March 2007 and Mon 2 - Fri 16 April 2007;

To attend (and participate in the Steering Committee meeting of) the 5th Workshop on Quantitative Aspects of Programming Languages (QAPL 2007),
To attend (and participate in research meetings at) the ETAPS 2007,
To give a presentation at the 1st International Workshop on Fondations and Techniques for Open Source Software Certification (OpenCert 2007), Braga, Portugal, Sat 24 March - Sat 31 March 2007.

Thu 9 November - Tue 28 November 2006, Gammarth/Tunis (Tunisia)

To organise the International School on Refinement at ICTAC 2006, Tunis, Tunisia, Mon 13 November - Fri 17 November 2006;

To chair (as Program Co-chair) the 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Gammarth/Tunis, Tunisia, Mon 20 November - Fri 24 November 2006.

Thu 31 August - Fri 7 September 2006, Austria

To visit the Technical University of Graz, Graz, Austria, Thu 31 August - Fri 1 September 2006;

To attend (with paper presentation) the 4th International Conference on Business Process Management (BPM 2006), Vienna, Austria, Tue 5 - Thu 7 September 2006.

Thu 20 - Fri 21 April 2006, Pisa (Italy)

To visit the Department of Computer Science of the University of Pisa.

Tue 4 - Mon 11 April 2006, Iasi (Romania)

To present a course on Security: From Basic Concepts and Techniques to Formal Models and Methods,
Tue 4 - Sat 8 April 2006.

To visit the Romania Academy, Mon 10 April 2006.

Sat 25 March - Sun 2 April 2006, Vienna (Austria)

To attend the 9th European joint Conferences on (ETAPS 2006).

Mon 28 November - Fri 09 December 2005, Bandung (Indonesia)

To organise the International School on Advanced Topics in Networking, Security and Verification

To present a course on Security: Principles, Techniques and Verification, Mon 28 November - Wed 07 December 2005.

Mon 10 - Fri 21 October 2005, Hanoi (Vietnam)

To present a course on Security: Principles, Techniques and Verification 10-14 October 2005.

To attend the 2nd International Colloquium on Theoretical Aspects of Computing, 17-21 October 2005.

Sun 18 - Fri 23 September 2005, Vienna (Austria)

To attend the 9th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2005).

Mon 12 - Fri 17 September 2005, Bavaria (Germany)

To visit Siemens Corporate Technology - Information and Communication Section, Munich, Mon 12 September and Fri 16 September 2005.

To attend the APPSEM II Workshop 2005 (APPSEM05), Fraueninsel, Frauenchiemsee, 13-15 September 2005.

Mon 5 - Fri 9 September 2005, Koblenz (Germany)

To attend (giving a presentation) the 3rd International Conference on Software Engineering and Formal methods (SEFM 2005).

Fri 5 - Fri 12 August 2005, Jakarta (Indonesia)

To attend (giving a presentation) the 2nd Asean Science Congress and Sub committee Conferences (Sub committee conference on Microelectronics and Information Technology), State Ministry of Research and Technology, 5-7 August 2005.

To present a course on Formal Aspects of Software Development, PDII-LIPI, 8-12 August 2005.

Mon 25 - Fri 29 April 2005, Marseille (France)

To attend the School on Security

Thu 21 - Fri 22 and Wed 11 May 2005, Pisa (Italy)

Visit at the University of Pisa

Mon 18 - Tue 19 April 2005, London (UK)

To visit and give a seminar at the Queen Mary University (QMU) on 18 April 2005

To visit and give a seminar at the Interactive Centre (UCL) of the University College London (UCL) on 18 April 2005

Tue 12 - Fri 15 April 2005, Guilford (UK)

To attend the 4th International Conference on B and Z Users(ZB 2005)

Fri 1 - Sat 9 April 2005, Edinburgh (UK)

To chair (as Program Co-chair) the 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL 2005) 2-3 April 2005.

To attend 2205 European Joint Conferences on Theory and Practise of Software (ETAPS 2006), 2-9 April 2005.