[TYPES/announce] Call for Papers: ESOP 2023

2022-09-08 Thread Thomas Wies
. *Program Chair* Thomas Wies (New York University) *Program Committee* - Parosh Abdulla (Uppsala University) - Elvira Albert (University of Madrid) - Timos Antonopoulos (Yale University) - Suguman Bansal (University of Pennsylvania) - Josh Berdine (Meta Research) - Annette Bieniusa (Technical University

[TYPES/announce] VMCAI 2022 Student Fellowships

2021-12-11 Thread Thomas Wies
/wCViJGtVJJKkJKPX8__;!!IBzWLUs!EbhU3rpQrSkDrzM-lrEBFMt8u4Ql7E6_yBazkQp4wonFG9MyceLdAuT32xFZdLagwiwqCVGGN5OWjw$ Thomas Wies (VMCAI 2022 Program Co-Chair)

[TYPES/announce] Deadline Extension: VMCAI 2022

2021-08-29 Thread Thomas Wies
: - Bernd Finkbeiner, CISPA Helmholtz Center for Information Security, Germany - Thomas Wies, New York University, United States Artifact Evaluation Chair: - Mark Santolucito, Barnard College, Columbia University, United States Publicity Chair: - Ruzica Piskac, Yale University, United States

[TYPES/announce] Call for Papers: VMCAI 2022

2021-08-09 Thread Thomas Wies
Helmholtz Center for Information Security, Germany - Thomas Wies, New York University, United States Artifact Evaluation Chair: - Mark Santolucito, Barnard College, Columbia University, United States Publicity Chair: - Ruzica Piskac, Yale University, United States

[TYPES/announce] CAV 2021 Student Fellowships

2021-06-15 Thread Thomas Wies
the following web form: https://forms.gle/wrpY9eKyNEA8gog39 If you have questions, please contact cav2021fellows...@gmail.com. Thomas Wies (CAV'21 Fellowship Chair)

[TYPES/announce] CAV 2019 Student Travel Fellowships

2019-05-09 Thread Thomas Wies
(plain text only) should be sent to cav2019fellows...@gmail.com by May 31, 2019. If you have questions, please contact cav2019fellows...@gmail.com. Thomas Wies (CAV'19 Fellowship Chair)

[TYPES/announce] SYNT 2019 - Final Call for Abstracts and Extended Deadline

2019-05-06 Thread Thomas Wies
eakers * Loris D'Antoni (University of Wisconsin-Madison) * Azadeh Farzan (University of Toronto) * Kedar Namjoshi (Nokia Bell Labs) * Rishabh Singh (Google Brain) Program Chairs -- * Markus Rabe (Google, USA) * Thomas Wies (NYU, USA) Program Committee - * Ro

[TYPES/announce] SYNT 2019: Call for Abstracts

2019-04-17 Thread Thomas Wies
eakers Forthcoming. Program Chairs -- * Markus Rabe (Google, USA) * Thomas Wies (NYU, USA) Program Committee - * Roderick Bloem (Graz University of Technology, Austria) * Pavol Cerny (University of Colorado Boulder, USA) * Supratik Chakraborty (IIT Bombay,

[TYPES/announce] TAPAS 2017: Call for Abstracts

2017-07-11 Thread Thomas Wies
pages in the two-column sub-format of the new ACM proceedings format. Invited Speakers Forthcoming. Program Chair - * Thomas Wies (NYU, USA) Program Committee - * Michael Emmi (Nokia Bell Labs, USA) * Samir Genaim (UCM, Spain) * Arie Gur

[TYPES/announce] TAPAS 2017: Call for Abstracts

2017-06-07 Thread Thomas Wies
he two-column sub-format of the new ACM proceedings format. Invited Speakers Forthcoming. Program Chair - * Thomas Wies (NYU, USA) Program Committee - * Michael Emmi (Nokia Bell Labs, USA) * Samir Genaim (UCM, Spain) * Arie Gurfinkel (Univ