Pascal Weil



 

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

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

email : pascal.weil@labri.fr

GnuPG clé publique / public key

Open Edition =>NEW and IMPORTANT!! TheoretiCS launched December 1st, 2021: a high quality diamond open access journal for the whole of Theoretical Computer Science, supported by an unprecendented array of communities and conferences

Publications

Software =>NEW and INTERESTING!! Version 0.2 of the stallings_graphs package, compatible with Python 3

Slides from selected talks

Directeur de recherche, CNRS

Membre de l'équipe Méthodes et Modèles Formels / Member of the Formal Methods and Models team.

Directeur adjoint de l'IRL franco-indienne ReLaX / Deputy Director of the ReLaX Indo-French Joint Research Unit

Président du Conseil Scientifique / Chair of the Scientific Council, GdR Informatique Mathématique, CNRS


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

journal of Groups, Complexity, Cryptology. Following a disagreement with the publisher of Groups, complexity, cryptology, the Editorial Board collectively resigned, and regrouped to continue the journal (with a new title) in a way that guarantees open access to both readers and authors. The new journal launched early 2020. Please submit your papers directly on the journal's web site.

International Journal of Algebra and Computation. To submit a paper, send me your manuscript, preferably as a PDF file attached to an e-mail or downloadable from some web site.

Semigroup Forum. To submit a paper, send me your manuscript, preferably as a PDF file attached to an e-mail or downloadable from some web site.

RAIRO: Theoretical Informatics and Applications. Submit directly on the journal's website.


Manifestations scientifiques récentes / Recent scientific meetings

2020. 14th GAGTA conference, Edinburgh, Newcastle, United Kingdom (member of the scientific committee). Postponed to 2021 due to the CoViD-19 pandemic

2019. ICSAA-2019 (International Conference on Semigroups, Algebra and Applications), Kochi, India, (member of the scientific committee).

2018. 12th GAGTA conference, Seoul, South Korea (member of the scientific committee).

2015, 2017. Workshop on Automata, Concurrency and Timed Systems (ACTS), Chennai (co-organizer).

2017. 11th GAGTA conference, Bilbao, Spain (member of the scientific committee).

2017. CSR (Computer Science in Russia), Kazan (chair of the program committee)

2017. Conference RAMiCS (Relational and Algebraic Methods in Computer Science), Lyon (member of the program committee)

2016. Colloque en l'honneur de Marcel-Paul Schützenberger, LaBRI, Bordeaux, France (member of the organizing committee).


Responsabilités passées/ Past positions

Founding member and later chair of the steering committee of the conference GAGTA (Geometric, Asymptotic and Combinatorial Group Theory and Applications)

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

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. 2010-2014.


Manifestations scientifiques moins récentes / Less recent scientific meetings

2015. 9th GAGTA conference, CIRM, Luminy, France (co-organizer).

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

2010, 2011. Workshop on Automata, Concurrency and Timed Systems (ACTS), Chennai (co-organizer).

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