[Haskell] TASE 2015 -- Preliminary Call for Papers

- TBA ORGANIZING CHAIR Ou Wei(Nanjing University of Aeronautics and Astronautics, China) PUBLICITY CHAIRS Jun Hun (Nanjing University of Aeronautics and Astronautics, China) Jun Pang

[Haskell] TASE 2018 -- Last Call for Papers

- GENERAL CHAIR - Jifeng He (East China Normal University, China) Jian Weng (Jinan University, China) - PROGRAM CO-CHAIRS - Jun Pang (University of Luxembourg, Luxembourg) Chenyi Zhang (Jinan University, China

[Haskell] Formal Methods 2021 -- 2nd call for workshop & tutorial proposals

- FM 2021 – 24th International Symposium on Formal Methods Beijing, China, November 20-26, 2021 http://formalmethods2021.csp.escience.cn

[Haskell] Formal Methods 2021: Workshops and Tutorials

24th International Symposium on Formal Methods Beijing, November 20-26, 2021 (held virtually) -- Workshops and Tutorials === http://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/ The FM'21 Symposium on Formal Methods will host six

[Haskell] Formal Methods 2021 (virtual conference): Call for papers

, Macquarie University, Australia 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

[Haskell] Formal Methods 2021 -- Call for papers

, University of Minho, Portugal Jun Pang, University of Luxembourg, Luxembourg Dave Parker, University of Birmingham, UK Corina Pasareanu, CMU/NASA Ames Research Center, USA Gustavo Petri, IRIF, Université Paris Diderot, France Akshay Rajhans, MathWorks, USA Tamara Rezk, INRIA, France Partha Roop

[Haskell] Formal Methods 2021 (virtual conference): Final call for papers

University, Australia 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

[Haskell] Doctoral Symposium at FM 2021: Call for Research Abstracts

Doctoral Symposium at FM 2021 Call for Research Abstracts --- (See also: https://lcs.ios.ac.cn/fm2021/doctoral-symposim/) A Doctoral Symposium will be held in conjunction with the 24th International Symposium on Formal Methods (FM 2021), 20-26

[Haskell] FM 2021 - Call for Participation

[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 auspices of Formal Methods Europe (FME), held on-line during November 20-26, 2021. -- ABOUT FM FM 2021 is the

[Haskell] CMSB 2023: first call for papers

– Brandenburg Technical University Cottbus-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

[Haskell] CMSB 2023: second call for papers

) Joachim Niehren – Inria Lille (France) – co-chair Jun Pang – University of Luxembourg (Luxembourg) – co-chair Loïc Paulevé – CNRS, Bordeaux (France) Andrei Paun – University of Bucharest (Romania) Ion Petre – University of Turku (Finland) Tatjana Petrov – University of Konstanz (Germany) Maria

[Haskell] CMSB 2023: last call for papers (extended deadlines)

. 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 – University of Bucharest (Romania) Ion Petre – University of Turku (Finland) Tatjana Petrov