[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Type systems and type theory are well in the scope of NWPT. 20th Nordic Workshop on Programming Theory, NWPT '08 Tallinn, Estonia, 19-21 November 2008 http://cs.ioc.ee/nwpt08/ Call for Contributions Background The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). The previous editions were held in Uppsala (1989, 1999, and 2004), Aalborg (1990), Göteborg (1991 and 1995), Bergen (1992 and 2000), Åbo (1993, 1998, and 2003), Aarhus (1994), Oslo (1996, 2007), Tallinn (1997 and 2002), Lyngby (2001), Copenhagen (2005) and Reykjavík (2006). This year it is Tallinn's turn again and the workshop will be celebrating its 20th anniversary. The workshop will be organized by organized by Institute of Cybernetics (Tallinn) and Dept. of Computer Science, Tallinn University of Technology. Scope Topics of interest include (but are not limited to) * semantics of programming languages, * programming language design and programming methodology, * programming logics, * formal specification of programs, * program verification, * program construction, * program transformation and refinement, * real-time and hybrid systems, * models of concurrency and distributed computing, * tools for program verification and construction. Invited Speakers * Dave Clarke, CWI, The Netherlands * Vincent Danos, University of Edinburgh, UK * Martin Fränzle, Carl von Ossietzky Univ. Oldenburg, Germany * Margus Veanes, Microsoft Research, Redmond, WA, USA Submission Authors wishing to give a talk at the workshop are requested to submit an abstract of 2-3 pages (pdf, printable on A4 paper) through EasyChair by 3 October 2008. Submission of work submitted for formal publication elsewhere and work in progress is permitted. The abstracts of the accepted contributions will be available at the workshop. After the workshop, selected papers will be published in a special issue of an international journal (under negotiation). Important Dates * Submission of abstracts: 3 October 2008 * Notification: 17 October 2008 Programme Committee * Luca Aceto, Reykjavík Univ., Iceland * Michael R. Hansen, Technical Univ. of Denmark, Denmark * Anna Ingólfsdóttir, Reykjavík Univ., Iceland * Einar Broch Johnsen, University of Oslo, Norway * Kim G. Larsen, Aalborg Univ., Denmark * Bengt Nordström, Univ. of Gothenburg, Chalmers Univ. of Technology, Sweden * Olaf Owe, University of Oslo, Norway * Gerardo Schneider, University of Oslo, Norway * Tarmo Uustalu, Inst. of Cybernetics, Estonia (co-chair) * Jüri Vain, Tallinn Univ. of Technology, Estonia (co-chair) * Marina Waldén, Åbo Akademi University, Finland * Uwe Wolter, Univ. of Bergen, Norway * Wang Yi, Uppsala Univ., Sweden Sponsors The workshop is sponsored by EXCS, the new Estonian centre of excellence in computer science, http://cs.ioc.ee/excs/. Venue Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. There are direct flights to Tallinn from Amsterdam, Barcelona, Berlin Schönefeld, Brussels, Copenhagen, Dublin, Dubrovnik, Frankfurt, Gothenburg, Hamburg, Helsinki, Kiev, London Gatwick and Stansted, Milan Malpensa, Minsk, Moscow, Munich, Oslo, Paris, Prague, Riga, Rome, Simferopol, Stockholm Arlanda, Vienna, Vilnius, and Warsaw. The workshop will take place in the historic House of the Brotherhood of the Blackheads in the Old Town at walking distance from all central hotels. Further information With questions, email nwpt08(at)cs.ioc.ee.