via
https://emploi.cnrs.fr/Offres/CDD/UMR7030-ETIAND-002/Default.aspx?lang=EN
Best,
--
Étienne André
Université Sorbonne Paris Nord
https://lipn.univ-paris13.fr/~andre/
, National University of Singapore
Program Co-Chairs
* Jun Sun, Singapore Management University
* Étienne André, Université Sorbonne Paris Nord
Publicity Chair:
* Lei Bu, Nanjing University
Local Organization Chair
* Xiaofei Xie, Singapore Management University
Program committee
* Mohamed F
of ETAPS 2023.
Contact: Étienne André
* LiS, Marseille (https://www.lis-lab.fr/). Contact: Pierre-Alain
Reynier
* LMF, Université Paris-Saclay, Saclay (https://lmf.cnrs.fr/).
Contact: Dietmar Berwanger
* LORIA, Université de Lorraine & Inria, Nancy
(https://www.loria.fr
: Silvano
Dal Zilio
* Lip6, Sorbonne Université, Paris
(https://www.lip6.fr/recherche/index.php), and co-organizer of ETAPS
2023. Contact: Fabrice Kordon
* LIPN, Université Sorbonne Paris Nord, Villetaneuse
(https://lipn.univ-paris13.fr/), and co-organizer of ETAPS 2023.
Contact:
ICECCS 2023 - Call for Papers
***
27th International Conference on Engineering of Complex Computer Systems
(ICECCS 2023)
12 - 16 June 2023, Toulouse, France
https://
ICECCS 2023 - Call for Papers
***
27th International Conference on Engineering of Complex Computer Systems
(ICECCS 2023)
12 - 16 June 2023, Toulouse, France
https://
ICECCS 2023 - Call for Papers
***
27th International Conference on Engineering of Complex Computer Systems
(ICECCS 2023)
12 - 16 June 2023, Toulouse, France
https://
--
ORGANIZATION:
* Program Chairs:
Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, France)
Florin Craciun (Babes-Bolyai University, Romania)
* Workshop Chairs:
Ileana Ober (Université Paul Sabatier, France)
Qin LI (East China Normal University, China)
*Publicity Chairs:
Étienne André (Université de
--
ORGANIZATION:
* Program Chairs:
Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, France)
Florin Craciun (Babes-Bolyai University, Romania)
* Workshop Chairs:
Ileana Ober (Université Paul Sabatier, France)
Qin LI (East China Normal University, China)
*Publicity Chairs:
Étienne André (Université de
videos of all speakers (invited and regular) are also available at
the conference Website: https://lipn.univ-paris13.fr/petrinets2021/#program
Best regards,
--
Étienne André
Université de Lorraine
https://www.loria.science/andre/
[[ Petri Nets World
temp/subject-engineer-IMITATOR.pdf
Best,
--
Étienne André
Université de Lorraine
https://www.loria.science/andre/
[[ Petri Nets World:]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list
ill be awarded ***
*** REGISTRATION IS FREE BUT MANDATORY ***
Contact e-mail: pn2...@petrinet.net
# General Chairs:
* Laure Petrucci (LIPN, CNRS, Université Sorbonne Paris Nord, France)
* Étienne André (Université de Lorraine, CNRS, Inria, LORIA, France)
# PC-Chairs:
* Ryszard Janicki (McMaster Univ
the traditional best paper award, a best "my paper in
180 seconds" prize will be awarded ***
*** REGISTRATION IS FREE BUT MANDATORY ***
Contact e-mail: pn2...@petrinet.net
# General Chairs:
* Laure Petrucci (LIPN, CNRS, Université Sorbonne Paris Nord, France)
* Étienne André (Universi
Singapore, is also provided.
*# Application*
-
Applications can be made by email, using a fully developed CV, a
complete research record, possible names of referees, and any relevant
additional information.
Contact: Étienne André
*# PhD applications*
--
We also welcome
. Akshay (India)
* Étienne André (France) _co-chair_
* Enrico Bini (Italy)
* Sergiy Bogomolov (Australia)
* Jyotirmoy Deshmukh (USA)
* Martin Fränzle (Germany)
* Ichiro Hasuo (Japan)
* David N. Jansen (China)
* Jan Křetínský (Germany)
* Didier Lime (France)
* Brian Nielsen (Denmark)
* Peter Csaba
apore University of Technology and Design, Singapore
Doctoral Symposium Co-Chairs
Xin Peng, Fudan University, China
Yi Li, Nanyang Technological University, Singapore
Finance Chair
Yang Liu, Nanyang Technological University, Singapore
Publicity Chairs
Étienne André, Université Par
Fränzle)
* 2. Second special session TBA (soon)
# Committees
==
## General Chair
* Jos Baeten (The Netherlands)
## Program committee
* Alessandro Abate (England)
* S. Akshay (India)
* Étienne André (France) _co-chair_
* Enrico Bini (Italy)
* Sergiy Bogomolov (Australia
pan)
Jifeng He (East China Normal University, China)
Michael Hinchey (Lero, Ireland)
Shengchao Qin (Teesside University, UK)
Huibiao Zhu (East China Normal University, China)
--
PROGRAM COMMITTEE
Erika Abraham, RWTH Aachen University, DE
Yamine Ait-Ameur, IR
series.
The best paper of the conference will be awarded the Oded Maler Award in
Timed Systems.
*Important Dates***
· *Abstract submission:*April 21, 2019
· *Paper submission:*April 24, 2019
· *Notification of acceptance:*June 12, 2019
--
Étienne André
Université Paris 13
den
Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Étienne André, Université Paris 13, France
Luciano Baresi, Politecnico di Milano, Italy
Sergiy Bogomolov, Australian National University, Australia
Yu-Fang Chen, National Taiwan University, Taiwan
Duc Hiep Chu, Google LLC, United States
Sebastien Ge
CALL FOR PAPERS
The 23rd International Conference on Engineering Complex Systems (ICECCS 2018),
12-14 December 2018 - Melbourne, Australia
http://formal-analysis.com/iceccs/2018/
Important Dates (AoE time)
Abstract submission: 15th June 2018
Paper submission: 22nd June 2018
Notification of ac
PhD position
Title : Formal verification of parametric real-time systems with
preemption
Laboratory 1: LIPN, CNRS UMR 7030, Universite Paris 13, Sorbonne Paris
Cite, France
Labo
---
Program committee
---
Aldeida Aleti, Monash University, Australia
Étienne André,Université Paris 13, France
Guangdong Bai, National University of Singapore, Singapore
Fei He, Tsinghua University, China
Andrzej Mizera, University of Luxembourg, Luxembourg
Jun Pang
[We apologize for multiple copies.]
Call for Papers
ICECCS 2015
(The 20th International Conference on Engineering of
Comple
[we apologize for multiple receptions]
ICFEM 2015
The 17th International Conference on Formal Engineering Methods
Call for workshops
http://icfem2015.
[we apologize for multiple receptions]
ICFEM 2015
The 17th International Conference on Formal Engineering Methods
Call for workshops
Call for papers
FSFMA 2014
2nd French Singaporean Workshop in Formal Methods and Applications
http://lipn.univ-paris13.fr/fsfma2014/
=
[We apologize for multiple copies.]
Call for Papers
ICECCS 2014
(The 19th International Conference on Engineering of
Complex Computer Systems)
Call for papers
SynCoP 2014
1st International Workshop on the SYNthesis of COntinuous Parameters
http://lipn.univ-paris13.fr/SynCoP2014/
=
[We apologize for multiple copies.]
Call for Papers
ICECCS 2014
(The 19th IEEE International Conference on Engineering of
Complex Computer Systems)
Call for papers
SynCoP 2014
1st International Workshop on the SYNthesis of COntinuous Parameters
http://lipn.univ-paris13.fr/SynCoP2014/
=
Call for papers
SynCoP 2014
1st International Workshop on the SYNthesis of COntinuous Parameters
http://lipn.univ-paris13.fr/SynCoP2014/
Call for participation
FSFMA 2013
1st French Singaporean Workshop in Formal Methods and Applications
15-16 July 2013, Singapore
http://www
Call for papers
FSFMA 2013
1st French Singaporean Workshop in Formal Methods and Applications
http://www.comp.nus.edu.sg/~pat/fsfma2013/
=
ersity of Technology and Design, Singapore)
=
PhD SESSION CHAIRS
=====
- Étienne André (Université Paris 13, Sorbonne Paris Cité, France)
- Yang Liu (Nanyang Technological University, Singapore)
=
INVITED SPEAKERS
=
- Laurent Fribourg (LSV, C
35 matches
Mail list logo