[TYPES/announce] Call for Contributions: Type-Driven Development 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, The first call for contributions for TyDe is out. Forward it to anyone who might be interested. Best, Niki Vazou == CALL FOR

[TYPES/announce] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline June 30!)

on is open to all. Students with alternative sources of funding are welcome. Best, Niki Vazou

[TYPES/announce] TyDe 2018: SUBMISSION DEADLINE EXTENDED TO JUNE 13th.

Pardo, Universidad de la Republica, Uruguay - Matthieu Sozeau, University of Paris Diderot, Paris 7, France - Niki Vazou, University of Maryland, USA (co-chair) *Submission details* Submissions should fall into one of two categories: - Regular research papers (12 pages) - Extended abstracts (2

[TYPES/announce] Open PhD and intern positions at IMDEA

cation at IMDEA’s open positions <http://software.imdea.org/open_positions.html>. Best, Niki Vazou

[TYPES/announce] Open Postdoc position at IMDEA

are invited for a post-doctoral research position at the IMDEA Software Institute, Madrid, Spain. The selected candidate will work under the supervision of Gilles Barthe <https://software.imdea.org/people/gilles.barthe/index.html> and Niki Vazou <https://software.imdea.org/people/n

[TYPES/announce] Open Postdoc position at IMDEA

are invited for a post-doctoral research position at the IMDEA Software Institute, Madrid, Spain. The selected candidate will work under the supervision of Gilles Barthe <https://software.imdea.org/people/gilles.barthe/index.html> and Niki Vazou <https://software.imdea.org/people/n

[TYPES/announce] HiW'19: Call for Talks

for feedback and collaborators. Invited Speakers - Lennart Augustsson & Satnam Singh Program Committee - Jose Calderon (Galois, Inc) - Jasper Van der Jeugt (Fugue) - Niki Vazou (IMDEA Software Institute) - Ningning Xie (The University of Hong King) - Brent Yorgey (Hen

[TYPES/announce] CfP: Programming Languages and Analysis for Security (PLAS) 2019

f Maryland, College Park) - Piotr Mardziel (Carnegie Mellon University, Co-Chair) - Annabelle McIver (Macquarie University) - Aseem Rastogi (Microsoft Research India) - Marco Vassena (Chalmers University of Technology) - Niki Vazou (IMDEA Software, Co-Chair) Best, Niki Vazou & Piotr Mardziel

[TYPES/announce] PhD and Postdoc positions at IMDEA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, IMDEA Software Institute has open PhD and Postdoc positions. The selected candidate will work on liquid relational types and the application deadline is February 1st: https://softw

[TYPES/announce] PLDI'22 Artifact Evaluation Committee Nominations

eviews. Come join us in improving the quality of research in our field! Xinyu Wang and Niki Vazou smime.p7s Description: S/MIME cryptographic signature

[TYPES/announce] CfP: Haskell Symposium 2023

University of Minho & INESC TEC, Portugal Michael Sperber Active Group GmbH, Germany Michel Steuwer University of Edinburgh, UK Niki Vazou (chair) IMDEA Software Institute, Spain Rumyana Neykova Brunel University London, UK T

[TYPES/announce] Haskell Symposium'23 Calls For Papers

nd Jennifer Paykin Intel, USA Jesper CockxDelft University of Technology, Netherlands Jose Nuno Oliveira University of Minho & INESC TEC, Portugal Michael Sperber Active Group GmbH, Germany Michel Steuwer