[TYPES/announce] PhD position at the University of Twente on Graph-Based Abstract Interpretation

of the Department of Computer Science, one of the largest academic departments for computer science in the etherlands. Project leader is Dr. Arend Rensink. The Project: Graphs for Abstract Interpretation of Languages (GRAIL) As more and more

[TYPES/announce] Graph-Based Tools Contest: Call for Cases

and send it to Pieter Van Gorp ([EMAIL PROTECTED]) and to Arend Rensink ([EMAIL PROTECTED]) by *May 20, 2008* This includes cases that have already been carried out using a given tool. A committee will select a small, but representative set of case studies to be used for the contest. Please

[TYPES/announce] FM 2009: Call for Tutorial Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Tutorial Proposals Formal Methods 2009, Eindhoven, The Netherlands symposium 4-6 November, tutorials 2 3 November FM2009 is the sixteenth international symposium of the

[TYPES/announce] FM2009: Third Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * * * * FM2009: 16th FM Symposium and 2nd World Congress * *

[TYPES/announce] Final Call for Papers FM 2009; deadline: 4 May 2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * * * *FM2009: 16th FM Symposium and 2nd World Congress * *

[TYPES/announce] CfP-2: FM 2009 Doctoral Symposium (Deadline July 24)

(McMaster, Canada, Co-Chair) * Sandeep Shukla (VT, USA) * Bernd-Holger Schlingloff (Humboldt U. Berlin, Germany) * Elena Troubitsyna (Abo Akademi, Finland) * Tarmo Uustalu (Inst. of Cybernetics, Estonia) * Frits Vaandrager (Nijmegen, The Netherlands) * Husnu Yenigun (Sabanci, Turkey) -- Arend

[TYPES/announce] CfPart: FM 2009, 2-7 November 2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * * * *FM2009: 16th FM Symposium and 2nd World Congress * *

[TYPES/announce] 2nd CfPart FM 2009 + tutorials and workshops: Early registration deadline 19 Oct

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** ** *FM2009: 16th FM Symposium and 2nd World Congress* *

[TYPES/announce] CfPart ICGT and SPIN, 27 Sep - 2 Oct 2010 at University of Twente, The Netherlands

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == *** Call for Participation *** ICGT 2010 Fifth International Conference on

[TYPES/announce] EAPLS PhD Award 2010: Call for Nominations

of Kaiserslautern, Germany * Arend Rensink, Universiteit Twente, The Netherlands * Bernhard Steffen, Technical University of Dortmund, Germany * Peter Thiemann, University of Freiburg, Germany * Peter Van Roy, Université Catholique de Louvain, Belgium

[TYPES/announce] EAPLS PhD Award 2011: Call for Nominations

* Giorgio Ghelli, University of Pisa, Italy * Paul Klint, CWI and University of Amsterdam, The Netherlands * Jens Knoop, Technische Universität Wien, Austria * Greg Michaelson, Heriot-Watt University , Edinburgh, U.K. * Arend Rensink, Universiteit Twente, The Netherlands * Peter Van Roy, Université

[TYPES/announce] Reminder EAPLS PhD Award 2011: Call for Nominations (deadline 31 December 2011)

* Giorgio Ghelli, University of Pisa, Italy * Paul Klint, CWI and University of Amsterdam, The Netherlands * Jens Knoop, Technische Universität Wien, Austria * Greg Michaelson, Heriot-Watt University , Edinburgh, U.K. * Arend Rensink, Universiteit Twente, The Netherlands * Peter Van Roy, Université

[TYPES/announce] EAPLS PhD Award 2012: Call for Nominations

* Giorgio Ghelli, University of Pisa, Italy * Paul Klint, CWI and University of Amsterdam, The Netherlands * Jens Knoop, Technische Universität Wien, Austria * Greg Michaelson, Heriot-Watt University , Edinburgh, U.K. * Arend Rensink, Universiteit Twente, The Netherlands * Peter Van Roy, Université

[TYPES/announce] Reminder: EAPLS PhD Award 2012 - Call for Nominations (deadline 31-12-2012)

* Giorgio Ghelli, University of Pisa, Italy * Paul Klint, CWI and University of Amsterdam, The Netherlands * Jens Knoop, Technische Universität Wien, Austria * Greg Michaelson, Heriot-Watt University , Edinburgh, U.K. * Arend Rensink, Universiteit Twente, The Netherlands * Peter Van Roy, Université

[TYPES/announce] The EAPLS 2012 PhD Award goes to ... Delphine Démange

and intermediate languages. This foundational thesis reports on excellent scientific work which is of great importance for computer science. On behalf of the EAPLS, Arend Rensink

[TYPES/announce] FASE 2014 Call for Papers

- Stefania Gnesi (ISTI-CNR, Italy) - Arend Rensink (University of Twente, the Netherlands) Programme Committee --- - Marsha Chechik (University of Toronto, Canada) - Myra Cohen (University of Nebraska-Lincoln, USA) - Victorio Cortellessa (Universite dell'Aquila, Italy

[TYPES/announce] Reminder: EAPLS PhD Award 2013 - Call for Nominations

Michaelson, Heriot-Watt University , Edinburgh, U.K. * Alan Mycroft, University of Cambridge, U.K. * Catuscia Palamidessi, LIX, France * Ricardo Peña, Universidad Complutense de Madrid, Spain * Arnd Poetzsch-Heffter, Technische Universität Kaiserslautern, Germany * Arend Rensink, Universiteit Twente

[TYPES/announce] Reminder: Graphs as Models (ETAPS workshop), 11-12 April 2015; deadline 16 Jan 2015

=== - Deadline for submission: 16 January 2015 - Notification: 13 February 2015 - Final manuscript: 13 March 2015 - Workshop: 11-12 April 2015 === Chairs === - Arend Rensink, University of Twente, The Netherlands [arend.rens...@utwente.nl] - Eduardo Zambon, IFES/UFES, Brazil

[TYPES/announce] Graphs as Models, 11-12 April 2015: Call for Tool Demos

a graph-based tool offers. For the tentative workshop schedule, see - Day 1 - Saturday, 11 April: http://www.etaps.org/index.php/2015/workshops/programme#GaM1 - Day 2 - Sunday, 12 April: http://www.etaps.org/index.php/2015/workshops/programme#GaM2 === Chairs === - Arend Rensink

[TYPES/announce] EAPLS PhD Award 2014 - Call for Nominations

Michaelson, Heriot-Watt University , Edinburgh, U.K. * Alan Mycroft, University of Cambridge, U.K. * Ricardo Peña, Universidad Complutense de Madrid, Spain * Arnd Poetzsch-Heffter, Technische Universität Kaiserslautern, Germany * Arend Rensink, Universiteit Twente, The Netherlands * Bernhard Steffen

[TYPES/announce] Maria Christakis wins the EAPLS Best Phd Dissertation Award 2015:

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] It is the great pleasure of the European Association for Programming Languages and Systems to announce the outcome of the EAPLS Best Dissertation Award 2015 (http://eapls.org/items/330/).