Invited talks, tutorials, seminars, ...
2001-now
- P. Poizat. Model-Based Software Adaptation. Introduction and
Contributions.
Invited seminar, ADAM Project-Team, INRIA Lille - Nord Europe, Lille, January 2010.
slides - P. Poizat. Model-Based Software Adaptation. Introduction and
Contributions.
Invited seminar, Information Systems Group, IEIS, Technical University of Eindhoven, November 2009.
slides - P. Poizat. Model-Based Software Adaptation. Introduction and
Contributions.
NICTA-INRIA/LAAS/LRI meeting, LRI, University Paris Sud, July 2009.
slides
(new/modified version above) - P. Poizat. Testing Web Service Orchestrations.
Invited seminar, University of Málaga (Spain), May 2009.
slides - P. Poizat. Adaptation of Service Protocols using Process
Algebra and On-the-Fly Reduction Techniques.
ForTesSe seminar, LRI, University Paris Sud, November 2008.
slides - P. Poizat. Adaptation of Service Protocols using Process
Algebra and On-the-Fly Reduction Techniques.
ANR PERSO project meeting, IBISC, University of Evry, November 2008.
slides - P. Poizat. Model-Based Adaptation. Introduction and
Contributions.
PGL team seminar, LRI, University Paris Sud, October 2007.
slides
(new/modified version above) - P. Poizat. Model-based Software Adaptation. Open Systems &
Semantics.
Invited seminar, University of Málaga (Spain), March 2007.
slides
(new/modified version above) - P. Poizat. Adaptation Logicielle.
RMF team seminar, IBISC, University of Evry, September 2006.
slides
(deprecated, see the talk above) - P. Poizat. Adaptation Logicielle.
LIS team seminar, IBISC, University of Evry, June 2006.
slides
(new/modified version above) - P. Poizat. Adaptation Logicielle.
INRIA Rhône-Alpes seminar, Grenoble, May 2006.
slides
(new/modified version above) - P. Poizat. Adaptation Logicielle.
MeFoSyLoMa Group seminar, Univ. Paris XIII, May 2006.
slides
(new/modified version above) - P. Poizat. Adaptation Logicielle.
ACI FIACRE project meeting, ENST, February 2006.
slides
(new/modified version above) - P. Poizat. Adaptation Logicielle.
ARLES seminar, INRIA Rocquencourt, January 2006.
slides
(new/modified version above) - P. Poizat. Extension of Behaviours with Formal Datatypes.
Invited seminar, University of Extremadura (Spain), June 2005.
slides - P. Poizat. Extension of Behaviours with Formal Datatypes.
Invited seminar, University of Málaga (Spain), June 2005.
slides,
(new/modified version above) - P. Poizat. Shell Scripting for Scientific Programming : the
Python example.
International Workshop on Computing for Heavy Ion Physics, April 26th 2005.
slides - P. Poizat. Formal Methods for Component Description,
Coordination and Adaptation. a position, some facts and some open
issues.
Co-organizer Position at WCAT'04, June 14th 2004.
slides - P. Poizat. Intégration de données formelles dans
les diagrammes d'états. Application aux diagrammes
d'état d'UML.
QSL Seminar, March 27th 2003.
abstract, slides - P. Poizat. Aspects et mixité dans les
spécifications.
LaMI Seminar, December 4th 2002. - abstract,
slides
(in French)
