a
Vincent Rahli, University of Luxembourg, Luxembourg
Tom Ridge, University of Leicester, UK
Viktor Vafeiadis, MPI-SWS, Germany (co-chair)
Freek Verbeek, Open University of the Netherlands, Netherlands
Steve Zdancewic, University of Pennsylvania, USA
-SWS) based
at Kaiserslautern, Germany, under the supervision of Viktor Vafeiadis
(http://www.mpi-sws.org/~viktor/).
The initial postdoc appointment is for two years, starting anytime,
with an option to extend to a third year (depending on performance).
The position is relatively independent in
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Computer Science and Engineering Department of the Instituto Superior
Técnico of the Universidade de Lisboa is carrying out an open search process
for possible candidates to future open
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*** POPL'13: Call for proposals for co-located events ***
Event dates: 20 -- 22, 26 January 2013
Location: Rome, Italy
Deadline: 22 April 2012
Notification: 30 May 2012
Propo
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*** POPL'13: Final Call for proposals for co-located events ***
Event dates: 20 -- 22, 26 January 2013
Location: Rome, Italy
Deadline: ** 22 April 2012 **
Notification: 30 May 2
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
* POPL 2013: Call for papers
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
http://popl.mpi-sws.org/201
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
* POPL 2013: Call for papers
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
http://popl.mpi-sws.org/201
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
** POPL 2013: Final call for papers **
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Paper registration: 6 July 2012, 11:59pm
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Papers
===
15th International Symposium on
Practical Aspects of Declarative Languages (PADL 2013
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Papers
===
15th International Symposium on
Practical Aspects of Declarative Languages (PADL 2013)
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
** CALL FOR PARTICIPATION
** ACM POPL 2013 & Co-located Events
**
You can now register to the 40th ACM SIGPLAN/SIGACT Symposium on
Principle
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
===
POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages
Rome, Italy
January 23
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
***
* POPL 2013: Principles of Programming Languages *
* Hotel Parco dei Principi, Rome, Italy *
* 23-25 January, 2013
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
===
POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages
Rome, Italy
January 23
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Fifteenth Symposium on
Practical Aspects of Declarative Languages
(PADL '13)
http://www.it.uu.se/
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
POPL 2014
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
POPL 2014
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL:
tya V. Nori, MSR India
* Noam Rinetzky, Tel Aviv University
* Xavier Rival, INRIA Paris-Rocquencourt, ENS Paris, CNRS
* Andrey Rybalchenko, TUM
* Jeremy G. Siek, University of Colorado at Boulder
* Nikhil Swamy, MSR Redmond
* Ross Tate, Cornell University
* Tayssir Touili, CNRS Paris
* Aaron J. Turo
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
San Diego, USA
http://popl.mpi-sws.org/2014/
The submission webpage is now open:
http://svr-hotcrp.cl.cam.a
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ACM POPL 2014 : Call for Tutorials
Since 2012, POPL has been/is home to TutorialFest, which features a buffet of
half-day talks oriented towards students in particular and other P
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ACM POPL 2014 : Second Call for Tutorials
Since 2012, POPL has been/is home to TutorialFest, which features a buffet of
half-day talks oriented towards students in particular and
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ACM POPL 2014 : Final Call for Tutorials
Since 2012, POPL has been/is home to TutorialFest, which features a buffet of
half-day talks oriented towards students in particular and o
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*** Student Poster Session at POPL'14 ***
In a departure from the student lightning talks of the last few
years, POPL'14 will have a student poster session in conjunction
with the main recep
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * POPL 2014: Call for participation * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * * * *
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
POPL 2014: Second call for participation
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
41st ACM SIG
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
POPL 2014: Final call for participation
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
41st ACM SIGP
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages
San Diego, USA
January 22-24, 2014
http://popl.mpi-sws.org/2014/
*** Reminder: POPL is starting in one
- Derek Dreyer (MPI-SWS)
- Viktor Vafeiadis (MPI-SWS)
** Program committee **
- Andrej Bauer (University of Ljubljana)
- Andrew Kennedy (Microsoft Research Cambridge)
- Christine Paulin-Mohring (Université Paris-Sud)
- Matthieu Sozeau (INRIA Paris)
- Antonis Stampoulis (MIT CSAIL)
- Steve Zdancewic
- Derek Dreyer (MPI-SWS)
- Viktor Vafeiadis (MPI-SWS)
** Program committee **
- Andrej Bauer (University of Ljubljana)
- Andrew Kennedy (Microsoft Research Cambridge)
- Christine Paulin-Mohring (Université Paris-Sud)
- Matthieu Sozeau (INRIA Paris)
- Antonis Stampoulis (MIT CSAIL)
- Steve Zdancewic
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
POPL 2015
42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
POPL 2015
42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The 6th Coq Workshop
July 18, 2014 · Vienna, Austria
http://vsl2014.at/pages/Coq-index.html
The Coq Workshop series brings together Coq users, developers, and
contributors. While conferen
ch)
Program Chair: David Walker (Princeton University)
Workshops Chair:David Van Horn (Northeastern University)
Treasurer: Ross Tate (Cornell University)
Publicity Chairs: Ruzica Piskac (Yale University)
Viktor Vafeiadis
Inst. of Fundamental Research)
Program Chair:
David Walker (Princeton University)
Workshops Chair:
David Van Horn (Northeastern University)
Treasurer:
Ross Tate (Cornell University)
Publicity Chairs:
Ruzica Piskac (Yale University)
Viktor
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL
2015)
January 15-17, 2015, Mumbai, India
http://popl.mpi-sws.org/2015/
http://popl.mpi-sws.org/2015/cfp.html
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages
Mumbai, India
January 11-18, 2015
http://popl.mpi-sws.org/2015/
** Call for student posters **
POPL'15 w
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages
Mumbai, India
January 11-18, 2015
http://popl.mpi-sws.org/2015/
** Call for tutorials **
Since 2012, POP
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages
Mumbai, India
January 11-18, 2015
http://popl.mpi-sws.org/2015/
** Call for tutorials **
Since 2012, POP
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages
Mumbai, India
January 11-18, 2015
http://popl.mpi-sws.org/2015/
** Call for student posters **
POPL'15 w
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ACM POPL 2015
http://popl.mpi-sws.org/2015/
* Pre-registration for visa purposes *
[Action item: Please pre-register for POPL and collocated events to get your
visa process started. This
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages
Tata Institute for Fundamental Research, Mumbai, India
January 12-18, 2015
http://popl.mpi-sws.org/2015/
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages
Tata Institute of Fundamental Research, Mumbai, India
January 12-18, 2015
http://popl.mpi-sws.org/2015/
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for postdoc positions at MPI-SWS under the supervision
of Viktor Vafeiadis (https://people.mpi-sws.org/~viktor/). The positions are
initially for two years with a
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for a full-time postdoctoral research position
in the Software Analysis and Verification group, headed by Viktor
Vafeiadis, at the Max Planck Institute for Software
44 matches
Mail list logo