[TYPES/announce] First CFP: FM 2023 - 25th International Symposium on Formal Methods

WTH Aachen University, Germany & University of Twente, the Netherlands =Program Committee= TBD -- Violet Ka I Pun / https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!D9X8003YL1n-QLRbjnZPu5bJw-J4LTxEVq1RQl8NkG5CZX8FxqyCKtujl9UKRG5BSSVVPpB-FIUgXA$

[TYPES/announce] Formal Methods 2023 -- Joint call for workshop & tutorial proposals

the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. FM 2023 will provide the facilities and handle the registrations for the events. -- Violet Ka I Pun https://urldefense.com/v3/__http://violet.foldr.org/

[TYPES/announce] FM 2023 - Call for Participation

hdFJQ$ <https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeK_lhdFJQ$ > -- Industry Day -- Doctoral Symposium -- D-Con ============

[TYPES/announce] 2 PhD positions in Formal Analysis for Concurrent Workflows in HVL, Bergen, Norway

collaborate with the project external partners of CroFlow, including Haukeland University Hospital in Bergen, Uppsala University in Sweden and the University of Lübeck in Germany. Contact: Associate Professor Violet Ka I Pun ( violet.ka.i@hvl.no <mailto:violet.ka.i@hvl.no> ) -- Violet

[TYPES/announce] 2 PhD positions in Formal Analysis for Concurrent Workflows (deadline extended)

e concurrent workflow models. The PhD students will collaborate with the project external partners of CroFlow, including Haukeland University Hospital in Bergen, Uppsala University in Sweden and the University of Lübeck in Germany. Contact: Associate Professor Violet Ka I Pun ( violet.ka.

[TYPES/announce] [ICTAC 2023] First call for papers – deadline 16 June 2023

of each accepted paper must register for the conference by the early registration date, and present the paper. A special journal issue is planned for extended versions of selected papers from ICTAC 2023. -- Violet Ka I Pun / https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs

[TYPES/announce] [ICTAC 2023] Final call for papers – New deadlines 25 June (abstract), 02 July (paper)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- ICTAC 2023 - Final Call for Papers 20th International Colloquium on Theoretical Aspects

[TYPES/announce] [ICTAC 2023] Second call for papers – deadline 16 June 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- ICTAC 2023 - Second Call for Papers 20th International Colloquium on Theoretical Aspects

[TYPES/announce] PhD position in in Formal Methods for Business Process Modelling

ny. Contact: Associate Professor Violet Ka I Pun ( violet.ka.i@hvl.no <mailto:violet.ka.i@hvl.no> ) -- Violet Ka I Pun / https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!QXhUexe6hfzKKdtbAWUfmzTGnCk48dbUW2ZAzAmPJDdvawYs0ihjs5Vp69RlVpANb0H3lJRPZre-Kv3ISjr93uTzb

[TYPES/announce] Postdoctoral Research Fellow in Formal Methods for Business Process Modelling

collaborate with the external project partners of CROFLOW, including Haukeland University Hospital in Bergen, Uppsala University in Sweden and the University of Lübeck in Germany. Contact: Associate Professor Violet Ka I Pun ( violet.ka.i@hvl.no <mailto:violet.ka.i@hvl.no> ) -- Violet

[TYPES/announce] Postdoctoral Research Fellow in Formal Methods in Bergen, Norway

of Lübeck in Germany. Contact: Associate Professor Violet Ka I Pun ( violet.ka.i@hvl.no ) -- Violet Ka I Pun / https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!Tmg9_nmcpcUpihBiVOAdkqvwdJ-5M-zhaMI4r-Z_Pfc8rto94XNBLzJp_X1KwDPc78fejwanenhBUkUK3X-nnRYEuXEtONH6$