[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for PhD student or postdoc positions at Ecole
Polytechnique in Paris, France. The successful candidates will work under the
supervision of Constantin Enea
(https
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CAV 2023 (35th International conference on Computer Aided Verification) is
inviting nominations for its Program Committee. You can nominate yourself or
someone else. Nominations are due
isboa from January 13-19, 2019.
A more detailed program is available at the school website
(http://vmcaischool19.tecnico.ulisboa.pt/).
Organizers:
Constantin Enea (IRIF, University Paris Diderot)
Vasco Manquinho (INESC-ID, IST - Universidade de Lisboa)
Ruzica Piskac (Yale University)
January 13th-January 15th, 2019
Invited Speakers
- Kedar Namjoshi (Nokia Bell Labs, USA)
- Aditya Nori (Microsoft Research Cambridge, UK)
- Sylvie Putot (Ecole Polytechnique, France)
Program Chairs
- Constantin Enea (University Paris Diderot, France)
- Ruzica Piskac (Yale University, USA)
Progr
nce: January 13th-January 15th, 2019
Invited Speakers
- Kedar Namjoshi (Nokia Bell Labs, USA)
- Aditya Nori (Microsoft Research Cambridge, UK)
- Sylvie Putot (Ecole Polytechnique, France)
Program Chairs
- Constantin Enea (University Paris Diderot, France)
- Ruzica Piskac (Yale University, U
nce: January 13th-January 15th, 2019
Invited Speakers
- Kedar Namjoshi (Nokia Bell Labs, USA)
- Aditya Nori (Microsoft Research Cambridge, UK)
- Sylvie Putot (Ecole Polytechnique, France)
Program Chairs
- Constantin Enea (University Paris Diderot, France)
- Ruzica Piskac (Yale University, U
a desire to perform internationally-leading
research.
** Application **
Interested candidates should send a short motivation letter, alongside other
supporting documents like the CV and the names of two reference persons, to
Constantin Enea (constantin.e...@liafa.univ
<mailto:constanti