[ 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
[ 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
[ 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
[ 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
[ 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
[ 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
[ 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
[ 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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Fifteenth Symposium on
Practical Aspects of Declarative Languages
(PADL '13)
[ 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
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. Turon, MPI-SWS
* Viktor Vafeiadis, MPI
[ 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:
[ 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
[ 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
[ 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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
POPL 2014: Second call for participation
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
41st ACM
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
POPL 2014: Final call for participation
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
41st ACM
[ 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
-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 (University
(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 (University
[ 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
University)
Workshops Chair:David Van Horn (Northeastern University)
Treasurer: Ross Tate (Cornell University)
Publicity Chairs: Ruzica Piskac (Yale University)
Viktor Vafeiadis (MPI-SWS)
Artifact Evaluation:Arjun Guha
:
David Walker (Princeton University)
Workshops Chair:
David Van Horn (Northeastern University)
Treasurer:
Ross Tate (Cornell University)
Publicity Chairs:
Ruzica Piskac (Yale University)
Viktor Vafeiadis (MPI-SWS)
Student Activities Chair:
Matthew
[ 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 tutorials **
Since 2012,
[ 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,
[ 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
[ 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/
cent 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
[ 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
[ 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
39 matches
Mail list logo
