Liu, UNU-IIST, Macao
Anders P. Ravn, Aalborg University, DK
Organisation Chair
Antonio Cerone, UNU-IIST, Macao
Publicity Chair
Jun Pang, U. Luxembourg
Workshop Chair
Xu Wang, UNU-IIST, Macao
Sponsored by:
UNU-IIST, University of Macau
Macao Polytechnic Institute
Associated Events
-- Workshops
)
***
Program Chairs
Zhiming Liu, UNU-IIST, Macao
Anders P. Ravn, Aalborg University, DK
Organisation Chair
Antonio Cerone, UNU-IIST, Macao
Publicity Chair
Jun Pang, U. Luxembourg
Workshop Chair
Xu Wang, UNU-IIST, Macao
Sponsored by:
UNU-IIST, University
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Summer School on Verification Technology, Systems Applications
http://www.mpi-inf.mpg.de/VTSA10/
Application Deadline:
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
First Call for Papers
ICTAC 2011
International Colloquium on Theoretical Aspects of Computing
URL: http://www.ictac.net/ictac2011/
31 August - 2 September 2011, Johannesburg, South Africa
(University of Trier, Germany)
* Gavin Lowe (University of Oxford, UK)
* Jun Pang (University of Luxembourg, Luxembourg; co-chair)
* Mark Ryan (University of Birmingham, UK)
* Dominique Unruh (Saarland University, Germany)
* Luca Vigano (University of Verona, Italy)
* Chenyi Zhang (University
Kuesters (University of Trier, Germany)
* Gavin Lowe (University of Oxford, UK)
* Jun Pang (University of Luxembourg, Luxembourg; co-chair)
* Mark Ryan (University of Birmingham, UK)
* Dominique Unruh (Saarland University, Germany)
* Luca Vigano (University of Verona, Italy)
* Chenyi Zhang
Markus Mueller-Olm, University of Muenster, Germany
Jun Pang (co-chair), University of Luxembourg, Luxembourg
Dave Parker, Oxford University, UK
Martin Steffen, University of Oslo, Norway
Marielle Stoelinga, University of Twente, the Netherlands
Tim Willemse, Eindhoven University of Technology
Polytechnique, France; co-chair)
* Stephanie Delaune (ENS Cachan, France)
* Ralf Kuesters (University of Trier, Germany)
* Gavin Lowe (University of Oxford, UK)
* Jun Pang (University of Luxembourg, Luxembourg; co-chair)
* Mark Ryan (University of Birmingham, UK)
* Dominique Unruh (Saarland
, University of Pennsylvania, USA
* Martin Leucker, TU Munich, Germany
* Wendy MacCaull, St. Francis Xavier University, Canada
* Tom Maibaum, McMaster University, Canada
* Dominique Mery, LORIA and Universite Henri Poincare Nancy 1,
France
* Jun Pang, University of Luxembourg, Luxembourg
Markus Mueller-Olm, University of Muenster, Germany
Jun Pang (co-chair), University of Luxembourg, Luxembourg
Dave Parker, Oxford University, UK
Martin Steffen, University of Oslo, Norway
Marielle Stoelinga, University of Twente, the Netherlands
Tim Willemse, Eindhoven University of Technology
Markus Mueller-Olm, University of Muenster, Germany
Jun Pang (co-chair), University of Luxembourg, Luxembourg
Dave Parker, Oxford University, UK
Martin Steffen, University of Oslo, Norway
Marielle Stoelinga, University of Twente, the Netherlands
Tim Willemse, Eindhoven University of Technology
Nancy, France
Markus Mueller-Olm, University of Muenster, Germany
Jun Pang (co-chair), University of Luxembourg, Luxembourg
Dave Parker, Oxford University, UK
Martin Steffen, University of Oslo, Norway
Marielle Stoelinga, University of Twente, the Netherlands
Tim Willemse, Eindhoven University
Mathematical Inst., India
* Kedar Namjoshi, Bell Labs, USA
* Jun Pang, Univ. of Luxembourg, Luxembourg
* Sanjiva Prasad, IIT Delhi, India
* Geguang Pu, ECNU, China
* Zongyan Qiu, Peking University, China
* Anders P. Ravn, Aalborg University, Denmark
* Abhik Roychoudhury, National
* Jun Pang, Univ. of Luxembourg, Luxembourg
* Sanjiva Prasad, IIT Delhi, India
* Geguang Pu, ECNU, China
* Zongyan Qiu, Peking University, China
* Anders P. Ravn, Aalborg University, Denmark
* Abhik Roychoudhury, National University of Singapore
* Madhavan Mukund, Chennai Mathematical Inst., India
* Kedar Namjoshi, Bell Labs, USA
* Jun Pang, Univ. of Luxembourg, Luxembourg
* Sanjiva Prasad, IIT Delhi, India
* Geguang Pu, ECNU, China
* Zongyan Qiu, Peking University, China
* Anders P. Ravn
Mueller-Olm, University of Muenster, Germany
Jun Pang (co-chair), University of Luxembourg, Luxembourg
Dave Parker, University of Birmingham, UK
Hongyang Qu, Oxford University, UK
Martin Steffen, University of Oslo, Norway
Tim Willemse, Eindhoven University of Technology, The Netherlands
of Muenster, Germany
Jun Pang (co-chair), University of Luxembourg, Luxembourg
Dave Parker, University of Birmingham, UK
Hongyang Qu, Oxford University, UK
Martin Steffen, University of Oslo, Norway
Tim Willemse, Eindhoven University of Technology, The Netherlands
-
Sjouke Mauw, University of Luxembourg, Luxembourg
Program chairs
-
Yang Liu, Nanyang Technological University, Singapore
Jun Pang, University of Luxembourg, Luxembourg
Program committee
-
Etienne Andre, Universite Paris 13, France
Cyrille Artho, AIST, Japan
and Design, Singapore
Program Committee Co-Chairs
Yang Liu, Nanyang Technological University, Singapore
Andrew Martin, Oxford University, UK
Workshop Chair
Zhenjiang Hu, National Institute of Informatics, Japan
Yuan-Fang Li, Monash University, Australia
Publicity Chair
Jun Pang, University
-
Sjouke Mauw, University of Luxembourg, Luxembourg
Program chairs
-
Yang Liu, Nanyang Technological University, Singapore
Jun Pang, University of Luxembourg, Luxembourg
Program committee
-
Etienne Andre, Universite Paris 13, France
Cyrille Artho, AIST, Japan
for the workshop and present the paper.
General chair
-
Sjouke Mauw, University of Luxembourg, Luxembourg
Program chairs
-
Yang Liu, Nanyang Technological University, Singapore
Jun Pang, University of Luxembourg, Luxembourg
Program committee
-
Etienne
and Design, Singapore
Program Committee Co-Chairs
Yang Liu, Nanyang Technological University, Singapore
Andrew Martin, Oxford University, UK
Workshop Chair
Zhenjiang Hu, National Institute of Informatics, Japan
Yuan-Fang Li, Monash University, Australia
Publicity Chair
Jun Pang, University
-
Sjouke Mauw, University of Luxembourg, Luxembourg
Program chairs
-
Yang Liu, Nanyang Technological University, Singapore
Jun Pang, University of Luxembourg, Luxembourg
Program committee
-
Etienne Andre, Universite Paris 13, France
Toalue Chen
.
General chair
-
Sjouke Mauw, University of Luxembourg, Luxembourg
Program chairs
-
Yang Liu, Nanyang Technological University, Singapore
Jun Pang, University of Luxembourg, Luxembourg
Program committee
-
Etienne Andre, Universite Paris 13, France
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Summer School on Verification Technology, Systems and Applications
October 27-31, 2014, University of Luxembourg, Luxembourg
The summer school on verification technology, systems
Jun Hun (Nanjing University of Aeronautics and Astronautics, China)
Jun Pang (University of Luxembourg)
Yu Zhou (Nanjing University of Aeronautics and Astronautics, China)
.
Workshop chairs
-
Yang Liu, Nanyang Technological University, Singapore
Sjouke Mauw, University of Luxembourg, Luxembourg
Jun Pang, University of Luxembourg, Luxembourg
Program committee
-
Etienne Andre, Universite Paris 13, France
Guandong Bai, National University
)
Antoine Min®¶ (Ecole Normale Sup®¶rieure Paris, France)
Fernando Orejas(Universitat Politecnica de Catalunya, Spain)
Paritosh K. Pandya (Tata Institute of Fundamental Research, India)
Jun Pang (University of Luxembourg)
Xin Peng (Fudan University, China)
Geguang Pu
.
Workshop chairs
-
Yang Liu, Nanyang Technological University, Singapore
Sjouke Mauw, University of Luxembourg, Luxembourg
Jun Pang, University of Luxembourg, Luxembourg
Program committee
-
Etienne Andre, Universite Paris 13, France
Guandong Bai, National University
Politecnica de Catalunya, Spain)
Paritosh K. Pandya (Tata Institute of Fundamental Research, India)
Jun Pang (University of Luxembourg)
Xin Peng (Fudan University, China)
Geguang Pu (East China Normal University, China)
Shengchao Qin (Teesside University, UK)
Zongyan Qiu
the paper.
Workshop chairs
-
Yang Liu, Nanyang Technological University, Singapore
Sjouke Mauw, University of Luxembourg, Luxembourg
Jun Pang, University of Luxembourg, Luxembourg
Program committee
-
Etienne Andre, Universite Paris 13, France
Guandong Bai, National
, 2018
Camera-ready : June 6, 2018
Conference data: August 29-31, 2018
-
GENERAL CHAIR
-
Jifeng He (East China Normal University, China)
Jian Weng (Jinan University, China)
-
PROGRAM CO-CHAIRS
-
Jun Pang (University
-
Jun Pang (University of Luxembourg, Luxembourg)
Chenyi Zhang (Jinan University, China)
-
STEERING COMMITTEE
-
Keijiro Araki (Kyushu University, Japan)
Jifeng He (East China Normal University, China)
Michael Hinchey(Lero, Ireland
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The University of Luxembourg/ Centre for Security and Trust is seeking
to hire one research associate (postdoc) and one PhD candidate to
perform research in formal methods for voting
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
UniGR Summer School on Verification Technology, Systems and
Applications (VTSA 2019)
July 1-5, 2019, Belval, Luxembourg
The summer school on verification technology, systems & applications
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
UniGR Summer School on Verification Technology, Systems and
Applications (VTSA 2019)
July 1-5, 2019, Belval, Luxembourg
The summer school on verification technology, systems & applications
Rosemary Monahan, Maynooth University, Ireland
Nina Narodytska, VMware Research, USA
David Naumann, Stevens Institute of Technology, USA
Jose Oliveira, University of Minho, Portugal
Jun Pang, University of Luxembourg, Luxembourg
Dave Parker, University of Birmingham, UK
Corina Pasareanu, CMU/NASA Ames
of Science, China
Program Committee
TBD
Publicity Chair
Eunsuk Kang, Carnegie Mellon University, US
Jun Pang, University of Luxembourg, Luxembourg
Local Organizers
Naijun Zhan (chair), Chinese Academy
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-
FM 2021 – 24th International Symposium on Formal Methods
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-
FM 2021 – 24th International Symposium on Formal Methods
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
24th International Symposium on Formal Methods
Beijing, November 20-26, 2021 (held virtually)
--
Workshops and Tutorials
===
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Doctoral Symposium at FM 2021
Call for Research Abstracts
---
(See also:
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Please distribute, apologies for multiple postings.]
FM 2021 is the 24th international symposium in a series organized by
Institute of Software, Chinese Academy of Sciences, under the
)
Luca Laurenti – TU Delft (Netherlands)
Andrzej Mizera – University of Warsaw (Poland)
Pedro T. Monteiro – University of Lisbon (Portugal)
Joachim Niehren – Inria Lille (France) – co-chair
Jun Pang – University of Luxembourg (Luxembourg) – co-chair
Loïc Paulevé – CNRS, Bordeaux (France)
Andrei Paun
-Senftenberg (Germany)
Hillel Kugler – Bar-Ilan University (Israel)
Luca Laurenti – TU Delft (Netherlands)
Andrzej Mizera – University of Warsaw (Poland)
Pedro T. Monteiro – University of Lisbon (Portugal)
Joachim Niehren – Inria Lille (France) – co-chair
Jun Pang – University of Luxembourg (Luxembourg
(joachim.nieh...@inria.fr) and Jun Pang
(jun.p...@uni.lu).
and Technology)
Frederic Mallet (Universite Nice Sophia-Antipolis)
Dominique Mery (Université de Lorraine, LORIA)
Jun Pang (University of Luxembourg)
Yu Pei (The Hong Kong Polytechnic University)
Shengchao Qin (Xidian University)
Yahui Song (National University of Singapore)
Peter Thiemann
(Southern University of Science and Technology)
Frederic Mallet (Universite Nice Sophia-Antipolis)
Dominique Mery (Université de Lorraine, LORIA)
Jun Pang (University of Luxembourg)
Yu Pei (The Hong Kong Polytechnic University)
Shengchao Qin (Xidian University)
Yahui Song (National University
Lorraine, LORIA)
Jun Pang (University of Luxembourg)
Yu Pei (The Hong Kong Polytechnic University)
Shengchao Qin (Xidian University)
Yahui Song (National University of Singapore)
Peter Thiemann (Universite Freiburg)
Jingyi Wang (Zhejiang University)
Cheng Wen (Xidian University)
Zhilin Wu (Institute
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Summer School on Verification Technology, Systems and Applications (VTSA 2024)
July 8th-12th, 2024, Belval, Luxembourg
The summer school on verification technology, systems & applications
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Summer School on Verification Technology, Systems and Applications (VTSA
2024)
July 8th-12th, 2024, Belval, Luxembourg
The summer school on verification technology, systems & applications
51 matches
Mail list logo