Pascal Weil

LaBRI

 

Laboratoire bordelais de recherche en informatique (LaBRI)
Université Bordeaux I
351 cours de la Libération
33405 Talence Cedex
France

LaBRI (secrétariat) : 05 40 00 69 00 / from abroad: +33 5 40 00 69 00
Télécopie/fax : 05 40 00 66 69 / from abroad: +33 5 40 00 66 69

email : pascal.weil@labri.fr

GnuPG clé publique / public key

Publications

Directeur de recherche CNRS

Directeur du LaBRI/ Director of LaBRI (UMR 5800, CNRS et Université de Bordeaux)

Membre de l'équipe Méthodes Formelles / Member of the Formal Methods team.

Coordinateur du projet FREC (ANR Blanc, 2010-2014)

Président du Conseil Scientifique de l'Institut National des Sciences Informatiques et leurs Interactions (INS2I) du CNRS / Chair of the Scientific Council of the INS2I, CNRS.

Site du CS INS2I.


Editeur associé des journaux ci-dessous / Member of the following editorial boards:

LIPIcs (Leibniz International Proceedings in Informatics) : A non-profit, electronic, copyright-with-the-authors series of 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.

GAGTA (Geometric, Asymptotic and Combinatorial Group Theory and Applications) : a series of conferences.


Manifestations scientifiques récentes / Recent scientific meetings

Manifestations scientifiques moins récentes / Less recent scientific meetings


Manifestations scientifiques récentes / Recent scientific meetings

2013. Co-organizer of the International Conference on Geometric, Combinatorial and Dynamical Aspects of Semigroup and Group Theory, Bar Ilan University.

2010 and 2011. Co-organiser of Workshop on Automata, Concurrency and Timed Systems (ACTS), Chennai.


Manifestations scientifiques moins récentes / Less recent scientific meetings

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.


Liens utiles / Useful links

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.


Pascal Weil