|
Pascal Weil
|
|
|
Laboratoire
bordelais de recherche en informatique (LaBRI)
|
LaBRI
(secrétariat) : +33 5 40 00 69 00
|
email : pascal.weil@labri.fr |
GnuPG clé publique / public key |
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
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. 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). 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. 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. 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.
Manifestations
scientifiques récentes / Recent scientific meetings
Responsabilités passées/ Past positions
Manifestations
scientifiques moins récentes / Less recent scientific meetings
Liens
utiles / Useful links
Pascal
Weil