CiE Newsletter No.38, August 29, 2010: A quiet month before the September storm - the next deadline for the Newsletter is September 16 - the same day as the Turing Centenary Advisory Committee meeting at Bletchley Park. The news from CiE 2012 is that the EasyChair submission page is now open for submissions (for the real early-birds): https://www.easychair.org/account/signin.cgi?conf=cie2012 See the next Newsletter for an update on CiE 2011 in Sofia. In the meantime, see: http://cie2011.fmi.uni-sofia.bg/ ___________________________________________________________________________ CONTENTS: 1. GAMES 2010 - Second Call for Participation 2. Funding for a PhD student for a project in Algorithmics 3. ALT 2010 - early registration deadline Sep 01 4. Full Professorship in Mathematical Logic in Stockholm 5. PhD position in Department of Computer Science, Royal Holloway, University of London =========================================================================== =========================================================================== 1. (from James Worrell) GAMES 2010 - Second Call for Participation: ================================================================ GAMES 2010 Annual Workshop of the ESF Networking Programme on Games for Design and Verification September 20 - 23, 2010 St Anne's College, Oxford, UK http://www.comlab.ox.ac.uk/games2010 CALL FOR PARTICIPATION ================================================================ The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems. GAMES is the annual workshop of the Network. This year's GAMES workshop will be held at St. Anne's College Oxford. More information about the games workshop can be found at http://www.comlab.ox.ac.uk/games2010. SCOPE: The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. PROGRAMME: As in previous years, GAMES 2010 will be an informal workshop, without proceedings. Its programme consists of six invited tutorials, contributed talks (25 min) and short presentations (15 min). Details can be found at http://www.comlab.ox.ac.uk/games2010/ INVITED TUTORIALS: - Roderick Bloem (TU Graz, Austria) - Thomas Colcombet (Liafa, Paris 7, France) - Fedor Fomin (Bergen, Norway) - Paul Goldberg (Liverpool, UK) - Tristan Tomala (HEC, Paris, France) - Wieslaw Zielonka (Liafa, Paris 7, France) SUPPORT: There are a limited number of student support packages aimed at students who cannot cover their own expenses. Those receiving such a package will have their accommodation for the nights of September 19th-September 22nd pre-paid and will receive a contribution toward travel costs. To apply please send an email to games2010@comlab.ox.ac.uk stating your affiliation, the name of your supervisor and your thesis topic. Also we ask that you arrange for your supervisor to send a brief email to the same address to indicate support for your application. Since numbers are limited we encourage participants to apply as early as possible. REGISTRATION: Registration is now open. Please see http://www.comlab.ox.ac.uk/games2010/ for registration information. LOCATION: The workshop will be held in the Mary Ogilvie Lecture Theatre at St Anne's College, Oxford UK. See http://www.st-annes.ox.ac.uk/ for information about the venue. PROGRAMME COMMITTEE: - Dietmar Berwanger (ENS Cachan) - Mikokaj Bojanczyk (Warsaw) - Patricia Bouyer (ENS Cachan) - Erich Graedel (Aachen) - Stephan Kreutzer (Oxford) - Jean-Francois Raskin (Brussels) - Helmut Veith (TU Vienna) - James Worrell (Oxford) =========================================================================== =========================================================================== 2. (from Rolf Fagerberg) Funding for a PhD student for a project in Algorithmics: The Department of Mathematics and Computer Science at the University of Southern Denmark has funding for a PhD student for a project in Algorithmics. The project will be in one of the areas of On-Line Algorithms, Graph Algorithms, and Bioinformatics. Further information about these areas and projects can be found at: http://www.imada.sdu.dk/~joan/areas.html The qualifications necessary for application are: 1. A course in Algorithms and Complexity. This is a course beyond a low level course on Data Structures. 2. A Master's degree in Computer Science, or a Bachelor's degree in Computer Science with one year of courses beyond a 3-year Bachelor's degree. (Note that the PhD programme lasts three years in the first case and four in the second.) The degree cannot be from the University of Southern Denmark. For the area graph algorithms, degrees in Mathematics are also acceptable. 3. Excellent grades and letters of recommendation. 4. Interest and motivation to work in one of these areas. 5. Fluency in English. The expected start date for these scholarships is January 17, 2010. The amount of the scholarship, which is paid as salary (including pension contribuations and vacation money), is about 380,000.00 DKK (equivalent to approx. 51,000.00 Euros or $71,000.00 US) per year for students who already have a Master's degree. The salary starts lower for students who do not have a Master's degree making the total salary over four years approximately the same as the salary over three years for the students with a Master's degree. The algorithmics group at the Department of Mathematics and Computer Science provides a very strong scientific environment combined with a friendly atmosphere. The University of Southern Denmark was founded in 1966 and currently has several campuses, with a total of almost 20,000 students. The Department of Mathematics and Computer Science resides at the main campus which is located in Odense, the third largest city in Denmark, a country known for its high standard of living, high tech industry, and cultural scene. The application deadline is October 20, 2010. For application details see: http://www.jobs.sdu.dk/vis_stilling.php?id=6054&lang=eng For further information, please contact Joan Boyar, joan@imada.sdu.dk. =========================================================================== =========================================================================== 3. (from Sandra Zilles) ALT 2010 - early registration deadline Sep 01: CALL FOR PARTICIPATION - ALT 2010 Dear colleagues, The early registration deadline for the 21st International Conference on Algorithmic Learning Theory (ALT 2010) is approaching; please register on or before ** September 1, 2010 ** to ensure early-bird fees. You can find the online registration site at: http://www-alg.ist.hokudai.ac.jp/~thomas/ALT10/regist.html ALT 2010 will be held in Canberra, Australia, October 6-8, 2010. ALT will be co-located with the 13th International Conference on Discovery Science (DS). The invited speakers for ALT and DS 2010 are Peter L. Bartlett Ivan Bratko Alexander Clark Rao Kotagiri Manfred K. Warmuth For more information see http://www-alg.ist.hokudai.ac.jp/~thomas/ALT10/alt10.jhtml ---------- Dr. Sandra Zilles Assistant Professor Department of Computer Science University of Regina Canada =========================================================================== =========================================================================== 4. (from Johan Hastad) Full Professorship in Mathematical Logic in Stockholm: Stockholm University announces a full professorship in Mathematical logic. One of the targeted areas is applications within computer science. For details please consult http://www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=81902 =========================================================================== =========================================================================== 5. (from Gregory Gutin) PhD position in Department of Computer Science, Royal Holloway, University of London: We are looking for a PhD candidate with a strong mathematical background interested in doing PhD in the area of parameterized algorithms and complexity, see http://fpt.wikidot.com/ and www.cs.rhul.ac.uk/home/gutin/publ.pdf The PhD student will start in mid-September 2010 and will be supervised by Prof. Gregory Gutin and Dr. Anders Yeo. Since the start day is very close and because of funding issues, to express your interest please write to Gregory Gutin, gutin@cs.rhul.ac.uk, as soon as possible. -- Professor Gregory Z. Gutin Acting Head of Department Department of Computer Science Royal Holloway, University of London Egham, Surrey, TW20 0EX, UK tel: +44-1784414229; fax: +44-1784439786 web: www.cs.rhul.ac.uk/home/gutin =========================================================================== =========================================================================== Items for the next CiE Newsletter should be sent in plain text (avoiding accents) to s.b.cooper@leeds.ac.uk to arrive by September 16th, 2010 ___________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2011 http://cie2011.fmi.uni-sofia.bg/?q=node/1 CiE 2012 http://www.cie2012.eu CiE Membership Application Form http://www.cs.swan.ac.uk/acie ALAN TURING YEAR http://www.turingcentenary.eu/ ___________________________________________________________________________