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

lands 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 Olv

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

lands 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

[Hol-info] TTCS 2020 - Call for papers

ty 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,

[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 News

[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 News

[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 http://formalmethods

[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] Second Dali Workshop: First Call for Papers

veiro, 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 S

[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] 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] 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] 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] (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/sla

[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