Alexandre Petrenko - Recent Invited Talks

• Invited paper to the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), Novosibirsk, Akademgorodok, Russia, June 27-30, 2006.
• The National Institute for Space Research (INPE), Brazil, March 2005.
• Université Joseph Fourier, Grenoble, France, avril 2004.
• Microsoft Research, December 2003. The complete presentation is available online: http://murl.microsoft.com/LectureDetails.asp?1054
• College of Information Technology, Hagenberg, Austria, November 2003.
• IRISA/INRIA, Université de Rennes, France, June 2003.
• Ecole Normale Superieure de Cachan in Rennes, France, May 2003.
• Invited lecture to the Concordia Summer School on Communication Software Engineering, Concordia University, Montreal, Canada, August 2002.
• Invited paper to the Summer School MOVEP'2000, Modelling and Verification of Parallel Processes, Nantes, France, June 2000.
• R&D Center of Siemens AG, Munich, Germany, September 1999.
• Invited paper to the ISAS'98, 4TH International conference on Information Systems Analysis and Synthesis, USA, July 1998.
• University of California in Berkeley, USA, February 1998.
• Invited paper to the XXIV Congress of the Brazilian Computer Society, (SEMISH'97), Brasilia, Brazil, August 1997.
• University of Sao Paulo in Sao Carlos, Brazil, August 1997.
• University of Rio de Janeiro, Brazil, August 1997.
• University of Campinas, Brazil, August 1997.
• Invited paper to the Workshop on Application of Formal Methods to System Development:Telecommunications, VLSI and Real-Time Computerized Control Systems, Workshop of the 9th international scientific exchanges sponsored by the Jacques Cartier Centre, Montreal, October 1996.
• Universite Henri Poincare, (Ecole Superieure D’informatique at Applications de Lorraine) Nancy, France, September 1996.
• University of Osaka, Japan, June 1996.
• Institut National des Telecommunications, Evry, France, September 1995.
• University of Twente,the Netherlands, September 1995.
• Invited paper to the IFIP Eighth International Workshop on Protocol Test Systems, Evry, France, September 1995.
• University of Cottbus, Germany, July 1995.
• University of Osaka, Japan, November 1994.
• Invited paper to the IFIP Seventh International Workshop on Protocol Test Systems, Tokyo, Japan, November 1994.
• Invited paper to ISSTA'94, ACM International Symposium on Software Testing and Analysis, Seattle, USA, August 1994.
• Concordia University, Montreal, April 1994.
• University of Western Ontario, London, Canada, January 1994.
• University of Waterloo, Canada, January 1994.
• Invited paper to the IFIP Sixth International Workshop on Protocol Test Systems, Pau, France, September 1993.
• University of Ottawa, Canada, February 1993.