Newsletter 129 November 1, 2010 ******************************************************************* * Past issues of the newsletter are available at http://www.informatik.hu-berlin.de/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://www.informatik.hu-berlin.de/lics/newsletters/inst.html * To unsubscribe, send an email with "unsubscribe" in the body to email@example.com ******************************************************************* TABLE OF CONTENTS * LICS NEWS * UPCOMING DEADLINES Deadlines within the next six weeks * CONFERENCES AND WORKSHOPS RTA 2011 - Call for Papers (7.1.2011) * BOOK ANNOUNCEMENTS * JOB ANNOUNCEMENTS DEADLINES * STOC 2011 4.11.2010 http://www2.research.att.com/~dsj/stoc11/stoc11.html * LICS 2011 16.11.2010 - Workshop Proposals http://www.fields.utoronto.ca/programs/scientific/10-11/lics11/proposals.html * RTA 2011 7.1.2011 http://www.rdp2011.uns.ac.rs/ 22ND INTERNATIONAL CONFERENCE REWRITING TECHNIQUES AND APPLICATIONS (RTA 2011) Monday, May 30 - Wednesday, June 1, 2011, Novi Sad, Serbia http://www.rdp2011.uns.ac.rs/ Call for Papers * The 22nd International Conference on Rewriting Techniques and Applications (RTA 2011) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2011), together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2011), and several workshops. RDP 2011 will be held at the University of Novi Sad, Serbia. * IMPORTANT DATES: Abstract Submission: January 7, 2011 (Friday) Paper Submission: January 14, 2011 (Friday) Notification: March 4, 2011 (Friday) Final version: April 3, 2011 (Sunday) Conference: May 30, 2011 (Monday) * RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to): - Applications: case studies; analysis of cryptographic protocols; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; program transformation; XML queries and transformations - Foundations: matching and unification; narrowing; completion techniques; strategies; rewriting calculi; constraint solving; tree automata; termination; complexity; combination; - Frameworks: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; constrained rewriting/deduction; categorical and infinitary rewriting; integration of decision procedures; net rewriting; binding techniques; - Implementation: implementation techniques; parallel execution; rewrite tools; termination checking; abstract machines; explicit substitutions; - Semantics: equational logic; rewriting logic; rewriting models of programs. * INVITED SPEAKERS: Ashish Tiwari (SRI,USA) and Sophie Tison (Univ. Lille and LIFL, France) will be invited speakers at RTA. * PROGRAMME CHAIR: Manfred Schmidt-Schauss (Goethe-Universität Frankfurt, Germany) * PROGRAM COMMITTEE: Franz Baader (TU Dresden, Germany) Frederic Blanqui (INRIA, China) Veronique Cortier (CNRS, Loria, France) Dan Dougherty (Worcester Polytechnic Institute, United States) Maribel Fernandez (King's College London, United Kingdom) Juergen Giesl (RWTH Aachen, Germany) Florent Jacquemard (INRIA Saclay, France) Fairouz Kamareddine (Heriot-Watt University, United Kingdom) Salvador Lucas (Universidad Politécnica de Valencia, Spain) Narciso Marti-Oliet (Universidad Complutense de Madrid, Spain) Aart Middeldorp (University of Innsbruck, Austria) Georg Moser (University of Innsbruck, Austria) Paliath Narendran (University at Albany--SUNY, United States) Joachim Niehren (INRIA Lille, France) Hitoshi Ohsaki (AIST Osaka, Japan) Vincent van Oostrom (Universiteit Utrecht, The Netherlands) Femke van Raamsdonk (Vrije Universiteit Amsterdam, The Netherlands) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Manfred Schmidt-Schauss (Goethe-Universität Frankfurt, Germany) (Chair) Aleksy Schubert (The University of Warsaw,Poland) Jakob Grue Simonsen (University of Copenhagen, Danmark) Rene Thiemann (University of Innsbruck, Austria) Christian Urban (TU München, Germany) Johannes Waldmann (HTWK Leipzig, Germany) Hans Zantema (Technische Universiteit Eindhoven, The Netherlands) OPEN POSITION - UNIVERSITY OF LEIPZIG * The Department of Mathematics and Computer Science at the University of Leipzig, Germany, announces an open full-time position (research assistant) in the group "Algebraic and Logical Foundations of Computer Science" (Prof. Dr. Markus Lohrey). * The position is funded via the DFG research project "Graphs with decidable logics", and is available for 3 years starting January 2011. It is paid according to the pay scale TV-L EG13. * The project investigates infinite graphs with finite presentations (e.g. automatic graphs, various transition graphs of infinite state systems, etc.) with decidable logics (first-order logic, monadic second-order logic, temporal logics, etc.) and in particular the complexity of the model checking problem. * The successful candidate - must possess a Diploma or Master in computer science or related areas (e.g. mathematics); - should have a good background in theoretical computer science and mathematics; - should be interested in fundamental research questions in theoretical computer science and mathematics. * The position is suitable for candidates with or without a PhD. For the latter, the possibility exists to do a PhD. The post comes without teaching obligations, and knowledge of the German language is not a requirement for the position. * Informal inquiries are welcome and should be directed to Markus Lohrey via firstname.lastname@example.org or +49/0341 97 32201. * Applications should - contain a CV, a brief statement explaining the candidate's research interests, and references, - be directed electronically to email@example.com. * Deadline for applications: November 15th, 2010
Back to the LICS web page.