Team MExICo
Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
previous up next PDF XML

Section: Dissemination

Scientific animation

Benedikt Bollig

was a program committee member of the Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2009 ), co-located with CONCUR 2009 . He will be involved in the organization of the conference CONCUR 2010 . He is/was a reviewer for the international journals Logical Methods in Computer Science , TOSEM , Theory of Computing Systems , Foundations of Computer Science , Fundamenta Informaticae , and the international conferences FSTTCS'09, CONCUR'09, ATVA'09, ICTAC'09, FOSSACS'10.

Thomas Chatain

was a member of the jury of the PhD of Medesu Sogbohossou, under supervision of Olivier H. Roux at IRCCyN. He is a member of the program committee of the International Conference on Application of Concurrency to System Design (ACSD) 2010 . He will participate in the organization of the conference CONCUR 2010 in Paris.

Paul Gastin

is an associate editor of the Journal of Automata, Languages and Combinatorics . He was on the scientific committee of the international workshop on Automata, Concurrency and Timed Systems (ACTS) in Chennai, January 2009. He was an invited speaker at the International Conference on Developments in Language Theory (DLT'09) in Stuttgart, July 2009. He was/is a member of the program committees of ICTAC'09 (6th International Colloquium on Theoretical Aspects of Computing ), LATA'10 (4th International Conference on Language and Automata Theory and Applications ), DLT'10 (14th International Conference on Development in Language Theory ). He co-organizes the international workshops on Quantitative Models: Ex- pressiveness and Analysis in Dagstuhl, January 2010; on Automata, Concurrency and Timed Systems (ACTS) in Chennai, February 2010; on Weighted Automata: Theory and Applications (WATA'10) in Leipzig, May 2010. He will organize (co-chair with François Laroussinie) the International Conference on Concurrency Theory (CONCUR'10) in Paris, September 2010. He was on the defense committee for the PhD thesis of Nathalie Sznajder (as supervisor) and Aldric Degorre (as examinator). He is the head of the computer science department of ENS Cachan. He was the head of the Parisian Master of Research in Computer Science (until August 2009).

Stefan Haar

is an associate editor of IEEE Transactions on Automatic Control until the end of 2009, and has accepted to become an associate editor for Discrete event dynamic systems: theory and application in 2010. He will participate in the organization (publicity) of the conference CONCUR 2010 in Paris, and is a member of the program committee of Workshop On Discrete Event Systems (WODES) 2010 in Berlin. He is also the correspondent of the DRI (international relations service) of INRIA for the Saclay center.

Serge Haddad

Serge Haddad has been a member of the editorial board of the journal Technique et Science Informatiques since 2007, and a member of the steering committee of the International Conference on Applications and Theory of Petri Nets (ICATPN) since 2001.

In 2009, he was the workshops and tutorials chair of the organizing committee of ICATPN 2009 held in Paris, and was also vice-president of the organizing committee of the french speaking school for young researchers "Ecole d'été Temps-Réel ( ETR'2009)" in Paris.

In 2009, he has also been member of the program committees of the following conferences and events:

He was on the defense committee for the HdR of E. Grolleau (Poitiers), F. Pommereau (Créteil) as reviewer, and N. Sabouret (Paris 6) as president. He was on the defense committee for PhD of of F. Bouchy (Cachan) as prsident, S. Youcef (Dauphine), D. Coulibaly (Dauphine) as supervisor and T.Q. Tran (Bordeaux) as reviewer.

He is responsible of years L3 and M1 of the computer science department of ENS Cachan.

Stefan Schwoon

was a member of the program committee of CIAA 2009 (International Conference on Implementation and Application of Automata) and reviewer of a dozen other articles for international journals and conferences. He will participate in the organisation of CONCUR 2010, and has participated in the Dagstuhl Seminar on Graph Search Engineering (Nov/Dec 2009) with a talk on Comparison of algorithms for checking emptiness on Büchi automata.


previous
next

Logo Inria