[TYPES/announce] DEADLINE EXTENSION — Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023

or questions please contact the chair of the committee Ana Sokolova ( a...@cs.uni-salzburg.at). The prize will be awarded by the chair of the FoLLI board at a ceremony during the 34th ESSLLI summer school in Ljubljana, July 31 - August 11, 2023. Beth dissertation prize committee 2023: Maria Aloni

[TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023

=bodp23__;!!IBzWLUs!QFrGNzYCcKHvj_TYNfmfV5u6lQIEluWWgxc_YwZ8-TBFGzUkcPxwZJtB9CC-iWqO2WuTgTUs14ordRlqnTntNZIJNycc6Xi3nyLh$ . In case of any problems or questions please contact the chair of the committee Ana Sokolova ( a...@cs.uni-salzburg.at). The prize will be awarded by the chair of the FoLLI board

[TYPES/announce] MFPS 2021: Deadline Extension and Invited Speakers

Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Ana Sokolova, University of Salzburg, Austria (PC chair) Valeria Vignudelli, CNRS/ENS Lyon, France - MFPS ORGANIZERS: Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes

[TYPES/announce] MFPS 2021 -- Call for Papers

, UCL, UK Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Ana Sokolova, University of Salzburg, Austria (PC chair) Valeria Vignudelli, CNRS/ENS Lyon, France - MFPS ORGANIZERS: Andrej Bauer, University of Ljubljana, Slovenia

[TYPES/announce] Postdoc position in Formal Methods, Programming Languages, and Systems, at the University of Salzburg, Computational Systems Group

reasonably small amount of teaching. Other than that, we expect you to collaborate with us on research in one of the mentioned areas. You would also have the freedom to conduct independent research. Please contact Christoph Kirsch (c...@cs.uni-salzburg.at) and/or Ana Sokolova (a...@cs.uni-salzburg.at

[TYPES/announce] Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * *QONFEST 2020* * August 31-September 5, 2020, Vienna, Austria (http://qonfest2020.conf.tuwien.ac.at/ < http://qonfest2020.conf.tuwien.ac.at/) QONFEST is the umbrella conference

[TYPES/announce] Call for Workshop and Tutorial Proposals, CPS Week 2016, Vienna, Austria

to the workshop and tutorial chairs Christoph Kirsch (c...@cs.uni-salzburg.at tul...@comp.nus.edu.sg) and Ana Sokolova (a...@cs.uni-salzburg.at tul...@comp.nus.edu.sg). Please write “[CPSWeek 2016] Workshop Proposal in the e-mail subject line. Guidelines for tutorial proposals

[TYPES/announce] Extended deadline: PSC 2014, Proof, Structure, Computation. Vienna, 17-18 July

) Dirk Pattinson (ANU, AU), PC chair Dieter Probst (University of Bern, CH) Peter Schuster (University of Leeds, UK), PC chair Alex Simpson (University of Edinburgh, UK) Ana Sokolova (University of Salzburg, Austria), PC chair === Organizing Committee === Dirk Pattinson (ANU, Australia), PC

[TYPES/announce] PSC 2014 Call for papers

of Helsinki, FI) Dirk Pattinson (ANU, AU), PC chair Dieter Probst (University of Bern, CH) Peter Schuster (University of Leeds, UK), PC chair Alex Simpson (University of Edinburgh, UK) Ana Sokolova (University of Salzburg, Austria), PC chair === Organizing Committee === Dirk Pattinson (ANU