EN FR
EN FR
Overall Objectives
New Software and Platforms
Bilateral Contracts and Grants with Industry
Bibliography
Overall Objectives
New Software and Platforms
Bilateral Contracts and Grants with Industry
Bibliography


Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

Matthias Függer was

  • general co-chair of the IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) 2018 (www.async2018.wien)

  • general co-chair of the Workshop of Emergent Algorithms and Network Dynamics (WENDY) 2018 (wendy.paris)

Serge Haddad is a member of the steering commitee of the Petri Nets conference.

Scientific Events Selection

Chair of Conference Program Committees

Thomas Chatain was co-chair of the program committe of ACSD 2018 interes.institute/acsd2018/.

Member of the Conference Program Committees
  • Matthias Függer was a PC member of

    • the 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems(DDECS 2018),

  • Stefan Haar was a PC member of

    • the 18th International Conference on Applications of Concurrency to Systems Design(ACSD 2018),

    • the workshop Algorithms and Theories for the Analysis of Event Data 2018(ATAED 2018), and

    • the International Workshop on Petri Nets and Modeling(PeMod '18).

  • Laurent Fribourg was a PC member of

    • Model-Based Design of Cyber Physical Systems (CyPhy'18), October 4-5, 2018, Torino, Italy,

    • 12th International Conference on Reachability Problems (RP'18), September 24-26 2018, Marseille, France,

    • 8th International Conference on New Computational Methods for Inverse Problems (NCMIP'18), Ecole normale supérieure Paris-Saclay, France.

  • Serge Haddad was a PC member of

    • 12th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS 2018), Grenoble, France, September 2018

    • 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018), Orléans, France, July 2018

Reviewer
  • Matthias Függer reviewed for Automatica, ASYNC'18, DDECS'18, Philisophical Transactions, DISC'18, PODC'18, SIROCCO'18, STACS'18.

  • Stefan Schwoon reviewed for MFCS and FSTTCS.

  • Stefan Haar reviewed for FOSSACS 2019.

Journals

Member of the Editorial Boards
  • Matthias Függer is guest editor for the special issue Selected Papers from the 24th IEEE International Symposium on Asynchronous Circuits and Systems - ASYNC 2018

  • Stefan Haar is an associate editor for Journal of Discrete Event Dynamic Systems

Reviewer - Reviewing Activities
  • Thomas Chatain reviewed for Journal of Discrete Event Dynamic Systems, Transactions of the Society for Modeling and Simulation International.

  • Stefan Schwoon reviewed for Journal of Discrete Event Dynamic Systems, Acta Informatica, ACM Transactions on Programming Languages and Systems.

  • Stefan Haar reviewed for Scientific Annals of Computer Science and IEEE Transactions on Automatic Control.

Invited Talks

  • Serge Haddad gave an invited talk on “Time and Stochastic Petri Nets” at the tutorials of Petri Nets 2018, the 25th June 2018, Bratislava, Slovakia

  • Matthias Függer gave an invited talk at ACSD'18 on "Challenges of circuit design: Circuits as robust distributed algorithms"

Scientific Expertise

  • Stefan Schwoon acted as reviewer for the ERC 2018 Starting Grant call.

  • Serge Haddad was expert for the allocation of the grants ”Prime d'Investissement Recherche de l'Université” of Sorbonne Université