[Hol-info] First School on Foundations of Programming and Software systems -- Probabilistic programming

Gilles Barthe Joost-Pieter Katoen Renato Neves Alexandra Silva -- Developer Access Program for Intel Xeon Phi Processors Access to Intel Xeon Phi processor-based developer platforms. With one year of Intel Parallel Studio XE

[Hol-info] (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming

Gilles Barthe Joost-Pieter Katoen Renato Neves Alexandra Silva -- Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot

[Hol-info] FM'19: Call for Workshop & Tutorial Proposals

FM'19 - 3rd WORLD CONGRESS ON FORMAL METHODS PORTO, PORTUGAL, OCTOBER 7-11, 2019 formalmethods2019.inesctec.pt CALL FOR WORKSHOP & TUTORIAL PROPOSALS ---

[Hol-info] FM'19: Final Call for Workshop & Tutorial Proposals

FM'19 - 3rd WORLD CONGRESS ON FORMAL METHODS PORTO, PORTUGAL, OCTOBER 7-11, 2019 formalmethods2019.inesctec.pt FINAL CALL FOR WORKSHOP & TUTORIAL PROPOSALS -

[Hol-info] Formal Methods 2019: First Call for Papers

== FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/

[Hol-info] FM'19: Second Call for Papers

== Second Call for Papers FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/

[Hol-info] Second Dali Workshop: First Call for Papers

, PT) Manuel A. Martins (U Aveiro, PT) Paulo Mateus (IST, PT) Stefan Mitsch (CMU, USA) Renato Neves (U Minho, PT) Valeria de Paiva (Nuance Comms, USA) Aybuke Ozgun (ILLC, NL) Fernando Velazquez-Quesada (ILLC, NL) Olivier Roy (U Bayreuth, DE) Lutz Schroeder (FAU, Erlangen-Nurenberg, DE) Alexandra Silva

[Hol-info] Formal Methods 2019 - Doctoral Symposium

Formal Methods 2019 - Doctoral Symposium Porto, Portugal, October 7th, 2019 http://formalmethods2019.inesctec.pt/?page_id=361 In conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019

[Hol-info] Formal Methods 2019 - Final Call For Papers

== Third and Final Call for Papers FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/

[Hol-info] FM'19 - 2nd Call for Participation

3rd World Congress on Formal Methods Porto, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ @formalmethods19 __ *** Apologies for cross-posting *** __ *** FM Week

[Hol-info] FM'19 - Last call for participation

3rd World Congress on Formal Methods Porto, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ @formalmethods19 __ *** Apologies for cross-posting *** __ *** FM Week

[Hol-info] TTCS 2020 - Call for papers

of Aveiro, Portugal Stefan Mitsch, Carnegie Mellon University, USA Mohammad Reza Mousavi, University of Leicester, UK Renato Neves, INESC TEC, Portugal Peter Olveczky, University of Oslo, Norway Prakash Panangaden, McGill University, Canada Elaine Pimentel, UFRN, Brazil Subodh Sharma, IIT Delhi, India

[Hol-info] TTCS 2020 - deadline extended to the 16th of February

Alexander Knapp, University of Augsburg, Germany Jan Kretinsky, Munich University of Technology, Germany Alexandre Madeira, University of Aveiro, Portugal Stefan Mitsch, Carnegie Mellon University, USA Mohammad Reza Mousavi, University of Leicester, UK Renato Neves, INESC TEC, Portugal Peter Olveczky

[Hol-info] TTCS 2020 - 2nd Call for Papers

Alexander Knapp, University of Augsburg, Germany Jan Kretinsky, Munich University of Technology, Germany Alexandre Madeira, University of Aveiro, Portugal Stefan Mitsch, Carnegie Mellon University, USA Mohammad Reza Mousavi, University of Leicester, UK Renato Neves, INESC TEC, Portugal Peter