[TYPES/announce] Postdoc position in verification and automata learning at MPI-SWS, in association with Cornell and Oxford
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A postdoctoral position in automated verification and automata learning is open at the Max Planck Institute for Software Systems in Saarbrücken, Germany, in the group of Prof. Joël Ouaknine. The project is a joint collaboration with Prof. Alexandra Silva (Cornell University) and Prof. James Worrell (Oxford University). The post is based in Saabrücken, but the successful candidate will have the opportunity occasionally to travel to Cornell (Ithaca, USA) and Oxford (UK). Active automata learning has become an important technique in model-based verification, as it enables the automated inference of models. There is a gap between the existing learning algorithms and the expressive models that have been used in e.g. probabilistic model checking. The goal of this project is two-fold: on the one hand, we want to design active learning algorithms for probabilistic automata and study the limits of learnability; on the other hand, we want to explore their use in practical scenarios, including randomised routing. Qualifications: -- A PhD awarded (or nearing completion) in Computer Science, Mathematics, or a closely related discipline. -- Knowledge and publications across some areas of: logic in computer science, formal verification, automata theory, programming language theory, probabilistic systems, learning, randomised algorithms, concurrency theory, program synthesis. This position is available on a full time basis for one year in the first instance, with the possibility of renewal(s). For informal enquiries, please contact Prof. Joël Ouaknine .
[TYPES/announce] Departmental Lectureship in Theoretical Computer Science, University of Oxford
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computer Science will appoint a full-time Departmental Lecturer in Theoretical Computer Science for up to 5 years from 1 April 2016. The main job responsibilities include: - Engaging in research within the discipline of Theoretical Computer Science - Supervision of doctoral students. - Participating in the teaching and administrative work of the Department. You should hold a doctoral degree in computer science, with post-qualification teaching and research experience. A research track record in theoretical computer science, in the areas of automated verification, computational algebra or number theory, or logic is preferred. The closing date for applications is 12.00 noon on 5 February 2016. For further details see https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=121657
[TYPES/announce] RP 2014 -- Deadline Extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Due to numerous requests the submission deadline for RP 2014 has been extended from June 4th to June 11th. REACHABILITY PROBLEMS 2014 - The 8th International Workshop on Reachability Problems (RP2014) (22 - 24 September 2014, University of Oxford, United Kingdom) http://www.cs.ox.ac.uk/RP2014/ The Department of Computer Science will organize the 8th International Workshop on Reachability Problems (RP'2014). This event will take place at the Department in the centre of Oxford, 22 - 24 September 2014. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. This will also be the occasion to review recent breakthroughs by renown invited experts and survey emerging trends and emphasize on key open challenges. Participants are kindly encouraged to discuss on core scientific issues that need to be further tackled. The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in - Algebraic structures - Computational models - Hybrid systems - Logic and Verification Invited Speakers: - Byron Cook, UCL and Microsoft Research, UK. - Kousha Etessami, University of Edinburgh, UK. - Anca Muscholl, LaBRI Bordeaux, France. - Sylvain Schmitz, LSV and ENS-Cachan, France. Submissions: Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. Topics of interest include (but are not limited to): Reachability for infinite state systems, rewriting systems; Reachability analysis in counter/ timed/ cellular/ communicating automata; Petri-Nets; computational aspects of semigroups, groups and rings; Reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps and new computational paradigms Authors are invited to submit a draft of a full paper with at most 12 pages (in LaTeX, formatted according to LNCS guidelines) via the conference web page. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Submissions deviating from these guidelines risk rejection. Electronic submissions should be formatted in pdf. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. Important Dates - Submission deadline: 11 June 2014 - Notification to authors: 4 July 2014 - Final version: 14 July 2014 - Workshop: 22 - 24 September 2014 Presentation-Only Track In addition to regular papers that will appear in our LNCS proceedings, we invite researchers to apply to give a presentation at RP 2014 without an accompanying paper. Such presentations can be based on work that has appeared (or which is going to appear) in the proceedings of another conference, or which has not yet been submitted. These contributions will be judged solely on the basis of their attractiveness to the workshop. To apply to give such a presentation please submit a PDF file containing a short abstract (up to two pages) by e-mail [ rp2...@easychair.org ] by August 4th 2014, with subject RP2014 Presentation-Only Track. This abstract will not be published in the conference proceedings. Notification for the presentation-only track will be August 11th 2014. Proceedings The Conference Proceedings will be published as the volume of the Springer Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the Conference. We plan also to publish selected papers in a special issue of a high quality journal following the regular referee procedure. RP2014 Program Committee: Marius Bozga, VERIMAG Grenoble Thomas Brihaye, Université de Mons Véronique Bruyère, Université de Mons Laurent Doyen, LSV Cachan John Fearnley, University of Liverpool Gilles Geeraerts, Université Libre de Bruxelles Madhavan Mukund, Chennai Math. Institute Andrzej Murawski, University of Warwick Paritosh Pandya, TATA Institute of Fundamental Research Igor Potapov, University of Liverpool Stefan Göller, University of Bremen Martin Lange, University of Kassel Kim Larsen, Aalborg University Ranko Lazic, University of Warwick Rupak Majumdar, Max Planck Institute for Software Systems Nicolas Markey, ENS Cachan Joel Ouaknine (co-chair), University of Oxford Alexander Rabinovich, Tel Aviv University Tayssir Touili, LIAFA University Paris Diderot Thomas Wahl, Northeastern University James Worrell (co-chair), University of Oxford Lijun Zhang, Institute of Software – Chinese Academy of Science Previous Workshops: 2013: RP’13 in Uppsala, Sweden LNCS proceedings, Volume 8169/2013, Springer
[TYPES/announce] GAMES 2010: Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] GAMES 2010 Annual Workshop of the ESF Networking Programme on Games for Design and Verification September 19 - 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 (30 min) and short presentations (15 min). Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. GAMES 2010 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games. 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 games2...@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)