|
|
Pascal Weil
|
|
|
|
|
Laboratoire bordelais de recherche en informatique (LaBRI)
|
LaBRI : 05 40 00 84 23 / from abroad: +33 5 40 00 84 23 |
|
email : pascal.weil@labri.fr |
GnuPG clé publique / public key |
Je suis directeur adjoint du LaBRI, et membre de l'équipe Méthodes Formelles / I am a vice-director of LaBRI and a member of the Formal Methods team.
Je préside la section française du comité de pilotage de la conférence STACS / I chair the French section of the steering committee of the STACS conference.
D'août 2007 à juillet 2009, j'étais professeur invité au Computer Science and Engineering Department de l'Indian Institute of Technology Delhi où j'ai enseigné CSL 303 (Logic in Computer Science), CSL 705 (Theory of Computation) et CSL 863 (Logics and automata).
Between August 2007 and July 2009, I was a Visiting Professor at the Computer Science and Engineering Department of the Indian Institute of Technology Delhi, where I taught CSL 303 (Logic in Computer Science), CSL 705 (Theory of Computation) and CSL 863 (Logics and automata).
J'ai eu le plaisir de coordonner le projet franco-indien (P2R) MODISTE-COVER (2005-2008) / I had the privilege to coordinate the Indo-French project (RNP) Timed-DISCOVERI (2005-2008)
Jusqu'à l'automne 2007, j'étais aussi Directeur de la Recherche à l'ESTIA, et directeur du laboratoire de l'Ecole, le LIPSI (Laboratoire d'ingénierie des processus et services industriels) / Until the fall of 2007, I was the Director for Research at ESTIA, and the director of the School's research lab, LIPSI (Engineering of industrial processes and services).
Je suis éditeur associé des journaux ci-dessous / I am a member of the following editorial boards:
LIPIcs (Leibniz International Proceedings in Informatics) : A new series of non-commercial, electronic, copyright-with-the-authors conference proceedings, based at the Leibniz Center for Informatics (Dagstuhl).
Groups, Complexity, Cryptology: For a submission to this journal, you can send me your manuscript, preferably as a PDF file attached to an e-mail or downloadable from some web site.
Discrete Mathematics and Theoretical Computer Science: For a submission to this electronic journal, do not send me your manuscript, but use the submission engine on the Journal's site.
RAIRO: Theoretical Informatics and Applications: For a submission to this journal, you can send me your manuscript, preferably as a PDF file attached to an e-mail or downloadable from some web site.
2009. Co-chair of the Program Committee, co-organiser of Workshop on Automata, Concurrency and Timed Systems (ACTS, with Madhavan Mukund), Chennai.
2008. Co-chair of the Program Committee, co-organiser of STACS'08 (with S. Albers), Bordeaux.
2007. Member of the Scientific Council of MathESTIA, ESTIA, Bidart.
2007. Member of the Scientific Council of the workshop on Combinatorial, algorithmic and cryptographic aspects of Group Theory, a part of the thematic month Groupes 007, Luminy.
2007. Co-chair of the Program Committee of STACS 07 (with W. Thomas), Aachen.
2006. Co-organiser of Algebraic Theory of Automata and Logic (with Z. Ésik, H. Straubing, Th. Wilke), a satellite workshop of Computer Science and Logic '06, Szeged.
2006. Member of the Program Committee of the Journées Montoises d'Informatique Théorique, Rennes.
2005. Member of the Program Committee of Automata and Formal Languages 05, Dobogókö.
2005. Member of the Program Committee of STACS 05, Stuttgart.
2004. Member of the Program Committee of FST-TCS 04, Chennai.
2004. Member of the Program Committee of Ecole de Printemps d'Informatique Théorique, Luminy.
January 2003. Co-organiser of the workshop Automata, concurrency and logic (with K.N. Kumar, K. Lodaya and R. Ramanujam), Chennai.
October 2002. Co-organiser of the Workshop on Logic, Graph Transformation and Discrete Structures, (with B. Courcelle), Barcelona, a satellite event to the first International Conference on Graph Transformations (ICGT).
2002-2003. Coordinator of Automates, modèles distribués et temporisés, Action Spécifique 93, rattachée au Réseau Thématique Pluri-disciplinaire Mathématique de l'informatique (RTP 23) du département STIC du CNRS.
2001. Member of the Program Committee of FST-TCS 01, Bangalore.
2000. Member of the Program Committee of the Journées Montoises d'Informatique Théorique, Marne-la-Vallée.
1999. Organiser of the Ecole Jeunes Chercheurs en informatique : Algorithmique et Calcul Formel, Bordeaux.
gastex , le remarquable ensemble de macros pour dessiner graphes et automates en TeX et LaTeX, dû à Paul Gastin / Paul Gastin's remarkable macro package to draw graphs and automata in TeX or LaTeX.