Alexandre Petrenko - Séminaires récents

• L'École Centrale Paris, France, mai 2011.
• SAP, Sophia Antipolis, France, Octobre 2010.
• Article invité au Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), Novosibirsk, Akademgorodok, Russie, 27-30 juin 2006.
• The National Institute for Space Research (INPE), Brésil, mars 2005.
• Université Joseph Fourier, Grenoble, France, avril 2004.
• Microsoft Research, décembre 2003. La présentation complète est disponible à cette adresse: http://murl.microsoft.com/LectureDetails.asp?1054
• College of Information Technology, Hagenberg, Autriche, novembre 2003.
• IRISA/INRIA, Université de Rennes, France, juin 2003.
• École Normale Supérieure de Cachan, Rennes, France, mai 2003.
• Conférencier invité à la Concordia Summer School on Communication Software Engineering, Université Concordia, Montréal, Canada, août 2002.
• Article invité à la Summer School MOVEP'2000, Modelling and Verification of Parallel Processes, Nantes, France, juin 2000.
• R&D Center of Siemens AG, Munich, Allemagne, septembre 1999.
• Article invité à la ISAS'98, 4TH International conference on Information Systems Analysis and Synthesis, États-Unis, juillet 1998.
• University of California in Berkeley, États-Unis, février 1998.
• Article invité au XXIV Congress of the Brazilian Computer Society, (SEMISH'97), Brasilia, Brésil, août 1997.
• University of Sao Paulo in Sao Carlos, Brésil, août 1997.
• University of Rio de Janeiro, Brésil, août 1997.
• University of Campinas, Brésil, août 1997.
• Article invité au Workshop on Application of Formal Methods to System Development:Telecommunications, VLSI and Real-Time Computerized Control Systems, Workshop of the 9th international scientific exchanges commandité par le  Centre Jacques Cartier, Montréal, octobre 1996.
• Université Henri Poincaré, (École Supérieure d’informatique  et Applications de Lorraine), Nancy, France, septembre 1996.
• University of Osaka, Japon, juin 1996.
• Institut National des Telecommunications, Evry, France, septembre 1995.
• University of Twente, Pays-Bas, septembre 1995.
• Invited paper to the IFIP Eighth International Workshop on Protocol Test Systems, Evry, France, septembre 1995.
• University of Cottbus, Allemagne, juillet 1995.
• University of Osaka, Japon, novembre 1994.
• Article invité au IFIP Seventh International Workshop on Protocol Test Systems, Tokyo, Japon, novembre 1994.
• Article invité au ISSTA'94, ACM International Symposium on Software Testing and Analysis, Seattle, États-Unis, août 1994.
• Université Concordia, Montréal, avril 1994.
• University of Western Ontario, London, Canada, janvier 1994.
• University of Waterloo, Canada, janvier 1994.
• Article invité au the IFIP Sixth International Workshop on Protocol Test Systems, Pau, France, septembre 1993.
• University of Ottawa, Canada, février 1993.