[TYPES/announce] Post-Doc position at INRIA on semantics and verification of probabilistic programs

o work on these topics. Anyone interested should contact as soon as possible Martin Avanzini (martin.avanzini@i <mailto:ehrh...@irif.fr>nria.fr <https://urldefense.com/v3/__http://nria.fr__;!!IBzWLUs!CFfoJxiQN-mBYD9r0KyrFuURJ--mYnmJdzr_b98660WGXGWtA56juZ1qQAuGk-Sw_lqbPYPCmQ9QRA$ >) and Ugo

[TYPES/announce] Virtual LCC'20: Second Call for Contributions

understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback. PROGRAM COMMITTEE: Martin Avanzini (INRIA Sophia Antipolis Méditerranée, France, co-chair) Diego Figueira  (CNRS Bordeaux, France) Joanna Ochremiak (CNRS

[TYPES/announce] LCC'20 First Call for Contributions

committee checks relevance and may provide additional feedback. PROGRAM COMMITTEE: Martin Avanzini (INRIA Sophia Antipolis Méditerranée, France, co-chair) Diego Figueira (CNRS Bordeaux, France) Joanna Ochremiak (CNRS Bordeaux, France) Magdalena Ortiz (TU Wien, Austria) Thomas Seiller (CNRS Paris

[TYPES/announce] DICE Special Issue in TCS -- 2nd Call for Papers

-conference publication of the workshops DICE 2016, 2017 and 2018) Deadline: October 12th 2018 Guest Editors: Martin Avanzini Romain Péchoux == The area of Implicit Computational Complexity has grown from several proposals

[TYPES/announce] DICE Special Issue in TCS -- Call for Papers

-conference publication of the workshops DICE 2016, 2017 and 2018) Deadline: October 12th 2018 Guest Editors: Martin Avanzini Romain Péchoux == The area of Implicit Computational Complexity has grown from several proposals

[TYPES/announce] DICE 18: Final Call -- Extended Deadline

will be held as a satellite workshop of the European Joint Conferences on Theory and Practice of Software 2018 (ETAPS 2018) which takes place in Thessaloniki, Greece. PROGRAM COMMITTEE Martin Avanzini (France, chair) Flavien Breuvart (France) Florian Frohn (Germany) Cynthia Kop (Netherlands) Olivier Laurent

[TYPES/announce] DICE 18: 2nd Call for Papers

as a satellite workshop of the European Joint Conferences on Theory and Practice of Software 2018 (ETAPS 2018) which takes place in Thessaloniki, Greece. PROGRAM COMMITTEE Martin Avanzini (France, chair) Flavien Breuvart (France) Florian Frohn (Germany) Cynthia Kop (Netherlands) Olivier Laurent (France

[TYPES/announce] DICE 18: Call for Papers

workshop of the European Joint Conferences on Theory and Practice of Software 2018 (ETAPS 2018) which takes place in Thessaloniki, Greece. PROGRAM COMMITTEE Martin Avanzini (France, chair) Flavien Breuvart (France) Florian Frohn (Germany) Cynthia Kop (Netherlands) Olivier Laurent (France) Van