Newsletter 102 December 23, 2005 ******************************************************************* * 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 subject line to lics@informatik.hu-berlin.de ******************************************************************* TABLE OF CONTENTS * CONFERENCES AND WORKSHOPS CMCS 2006 - Second Call for Papers EAAI'06 - Call for Papers MFPS 2006 - First Announcement and Call for Papers COORDINATION 2006 - Second Call for Papers LICS 2006 - Call for Papers Verification And Debugging - Call for Papers Perspectives of System Informatics - Second Call for Papers CSFW - Call for Papers SIROCCO 2006 - Call for Papers HyLo 2006 - Call for Papers RTA 2006 - Call for Papers ICLP'06 - Second Call for Papers TCS 2006 - Call for Papers STRUCTURAL OPERATIONAL SEMANTICS 2006 - Call for Papers MFCS 2006 - Call for Papers Logic and Combinatorics - First Announcement AiML 2006 - Call for Papers * VACANCIES Two Open Positions in the CooPer Project, CWI, Amsterdam, The Netherlands Postdoctoral Research Fellowship, University of Birmingham Full-time academic position, Computing Science, UCLouvain. Belgium WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2006) March 25-27, 2006 Vienna, Austria 2nd Call for Papers * 8th International Workshop on Coalgebraic Methods in Computer Science http://conferences.inf.ed.ac.uk/cmcs06/cmcs06.html * The workshop will be held in conjunction with the 9th European Joint Conferences on Theory and Practice of Software ETAPS 2006 March 25 - April 2, 2006 * Aims and Scope During the last few years, it has become increasingly clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems, can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. * The topics of the workshop include, but are not limited to: - the theory of coalgebras (including set theoretic and categorical approaches); - coalgebras as computational and semantical models (for programming languages, dynamical systems, etc.); - coalgebras in (functional, object-oriented, concurrent) programming; - coalgebras and data types; - (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants); - coalgebras and algebras; - coalgebraic specification and verification; - coalgebras and (modal) logic; - coalgebra and control theory (notably of discrete event and hybrid systems). * Programme Committee - John Power (chair,Edinburgh), - Luis Barbosa (Minho), - Neil Ghani (Nottingham), - H. Peter Gumm (Marburg), - Marina Lenisa (Udine), - Stefan Milius (Braunschweig), - Larry Moss (Bloomington), - Jan Rutten (Amsterdam), - Hendrik Tews (Dresden), - Tarmo Uustalu (Tallinn), - Hiroshi Watanabe (Osaka). * Keynote Speaker: Peter O'Hearn (Queen Mary, University of London) * Invited Speakers: Corina Cirstea (University of Southampton) Alexander Kurz (University of Leicester) * Submissions Two sorts of submissions will be possible this year: - Papers to be evaluated by the programme committee for inclusion in the ENTCS proceedings: These papers must be written using ENTCS style files and be of length no greater than 20 pages. They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. If a submission describes software, software tools, or their use, it should include all source code that is needed to reproduce the results but is not publicly available. If the additional material exceeds 5 MB, URL's of publicly available sites should be provided in the paper. - Short contributions: These will not be published but will be compiled into a technical report of the University of Nottingham. They should be no more than two pages and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. - Both sorts of submission should be submitted in postscript or pdf form as attachments to an email to cmcs06@cs.nott.ac.uk. The email should include the title, corresponding author, and, for the first kind of submission, a text-only one-page abstract. - After the workshop, we expect to produce a journal proceedings of extended versions of selected papers to appear in Theoretical Computer Science. * Important Dates - Deadline for submission of regular papers: January 8, 2006. - Notification of acceptance of regular papers: February 6, 2006. - Final version for the preliminary proceedings: February 13, 2006. - Deadline for submission of short contributions: February 28,2006. - Notification of acceptance of short contributions: March 6, 2006. * For more information, please write to cmcs06@cs.nott.ac.uk. EMERGING APPLICATIONS OF ABSTRACT INTERPRETATION (EAAI'06) March 26th 2006, Vienna, Austria http://www.math.unipd.it/EAAI06 * First International Workshop on Emerging Applications of Abstract Interpretation (EAAI'06) A Satellite Event of ETAPS 2006 * Aims and Scope Abstract interpretation is almost 30 years old. These 30 years witnessed a great success of this methodology, in particular in analysis and verification of programming languages and systems: static program analysis, program compilers, program verification, program transformation, program semantics. This workshop focusses on emerging applications of abstract interpretation in nontraditional or even innovative areas, like security, model checking, embedded and real-time systems, systems biology, software watermarking and obfuscation, hardware verification, etc. The workshop aim is to spread the methods of abstract interpretation towards nontraditional areas and to share common experiences in using abstract interpretation as an approximation technique. * Topics of interest include all the applications of abstract interpretation in nontraditional fields, like: - hardware/software security - safety-critical hardware/software systems - hardware/software model checking - hardware/software verification - very large software systems - embedded, real-time and reactive systems - software watermarking and obfuscation - process algebra - artificial intelligence - automated deduction - systems biology - quantum computing - global computing - grid computing * Important Dates Paper submission: 8 January 2006 Notification: 27 January 2006 Camera-ready: 9 February 2006 * Program Committee - Anindya Banerjee (US) - Bruno Blanchet (FR) - Radhia Cousot (FR) - Saumya Debray (US) - Roberto Giacobazzi (IT, co-chair) - David Monniaux (FR) - Alan Mycroft (UK) - Francesco Ranzato (IT, co-chair) - Hanne Riis Nielson (DK) - Helmut Veith (DE) * Submission Authors are invited to submit papers up to 15 pages. Contributions should report about ongoing research in the emerging applications of abstract interpretation according to the scope and objectives of the workshop. Position papers are also encouraged. Electronic submissions in pdf or postscript format should be sent via email to:. Workshop proceedings will be distributed by the organizers of ETAPS'06. Depending on the number and quality of submissions, we will pursue the publication of post-proceedings of selected papers as a journal special issue. * Invited Speaker Germán Puebla (Universidad Politécnica de Madrid, ES) * Organizers - Roberto Giacobazzi University of Verona email: roberto.giacobazzi[AT]univr.it - Francesco Ranzato University of Padova email: franz[AT]math.unipd.it MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS 2006) May 24 - May 27, 2006 Genova, Italy First Announcement and Call for Papers * Twenty-second Conference on the Mathematical Foundations of Programming Semantics University of Genoa Genova Italy * The Twenty-second Conference on the Mathematical Foundations of Programming Semantics will take place at the University of Genoa, Italy from Wednesday, May 24 through Saturday, May 27, 2006. * Invited Speakers - Marcelo Fiore, Cambridge - Eugenio Moggi, Genova - Prakash Panangaden, McGill - Davide Sangiorgi, Bologna - Peter Selinger, Dalhousie - Steve Zdancewic, Penn * In addition to the invited addresses, there will be a Special Session on Security organized by Catherine Meadows. Other special sessions also are planned, and details will be announced as they are available. There also will be a Tutorial Day on May 23 devoted to Separation Logic. Details about this event also will be forthcoming later. * The remainder of the program will be composed of papers selected by the Program Committee from submissions received in response to this Call for Papers. The Program Committee is being chaired by Stephen Brookes (CMU) and Michael Mislove (Tulane). It also includes: - Mariangiola Dezani-Ciancaglini (Torino) - Martin Escard (Birmingham) - Joshua Guttman (Mitre) - Cedric Fournet (Microsoft) - Radha Jagadeesan (DePaul) - Achim Jung (Birmingham) - Peeter Laud (Tartu) - Catherine Meadows (NRL) - Catuscia Palamidessi (INRIA) - Prakash Panangaden McGill) - Robert Segala (Vernoa) - Phil Scott (Ottawa) - Simona Ronchi della Rocha (Torino) - Alex Simpson (Edinburgh) * Submissions should consist of original work that has not been published elsewhere. Submissions should be no longer than 12 pages, and they should be in the form of either PostScript or pdf files that can be printed on a standard printer. They can be made using the link that will be available on the MFPS 22 Home Page http://www.math.tulane.edu/~mfps/mfps22.htm - submissions will open in early January. * Submissions must be received by midnight, Pacific Standard Time on Friday, February 15, 2005. Authors will be notified of acceptance by March 25, 2005. * The MFPS conferences are devoted to those areas of mathematics, logic and computer science which are related to the semantics of programming languages. The series particularly has stressed providing a forum where both mathematicians and computer scientists can meet and exchange ideas about problems of common interest. We also encourage participation by researchers in neighboring areas, since we strive to maintain breadth in the scope of the series. * The Organizing Committee for MFPS consists of Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane) and Prakash Panangaden (McGill). The local arrangements for MFPS XXI are being overseen by Giuseppe Rosolini (Genova). * Information about MFPS XXII can be found at the URL http://www.math.tulane.edu/~mfps/mfps22.htm If you have problems accessing the link above, then send email to mfps@math.tulane.edu. COORDINATION 2006 14-16 June 2006 Bologna, Italy Second Call for Papers * 8th International Conference on Coordination Models and Languages http://www.cs.unibo.it/discotec06/Coordination06 as part of DisCoTec'06 - Distributed Computing Techniques co-located with DAIS'06 & FMOODS'06 http://www.cs.unibo.it/discotec06 * Important Dates - Submission of abstract: 10 January 2006 - Submission of papers: 17 January 2006 - Notification of acceptance: 7 March 2006 - Final version: 28 March 2006 - Conference: 14-16 June 2006 * Conference Goals Modern information systems rely increasingly on combining concurrent, distributed, mobile, reconfigurable and heterogenous components. New models, architectures, languages, verification techniques are necessary to cope with the complexity induced by the demands of today's software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behavior from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. * Previous Editions The previous editions of COORDINATION took place in Cesena (Italy), Berlin (Germany), Amsterdam (Netherlands), Limassol (Cyprus), York (UK), Pisa (Italy) and Namur (Belgium). More details are available at http://www.coordination2005.org. * Topics of Interest They include but are not limited to: - Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic aspects of coordination, emergent behavior. - Specification, refinement, and analysis of software architectures: patterns and styles, verification of functional and non-functional properties. - Coordination, architectural, and interface definition languages: implementation, interoperability, heterogeneity. - Multiagent systems and coordination: models, languages, infrastructures. - Dynamic software architectures: mobile code and agents, configuration, reconfiguration, self-organization. - Coordination and modern distributed computing: Web services, peer-to-peer networks, grid computing, context-awareness, ubiquitous computing. - Programming languages, middleware, tools, and environments for the development of coordinated applications - Industrial relevance of coordination and software architectures: programming in the large, domain-specific software architectures and coordination models, case studies. - Interdisciplinary aspects of coordination * Proceedings Proceedings of previous editions of this conference were published by Springer in the Lecture Notes in Computer Science (LNCS) series. The intention is to continue this series. * Submission Instructions - Authors are invited to submit full papers electronically in PostScript or PDF using a two-phase online submission process. Registration of the paper information and abstract (max. 250 words) must be completed before 10 January 2006. Submission of the full paper is due no later than 17 January 2006. Further instructions on the submission procedure will be published at http://www.cs.unibo.it/discotec06/Coordination06. - Submissions must be formatted according to the LNCS guidelines (see http://www.springer.de/comp/lncs/authors.html) and must not exceed 15 pages in length. Papers that are not in the requested format or significantly exceed the mandated length may be rejected without going through the review phase. - Submissions should explicitly state their contribution and their relevance to the theme of the conference. Other criteria for selection will be originality, significance, correctness, and clarity. - Simultaneous or similar submissions to other conferences or journals are not allowed. * Conference Location The conference will be hosted by the Department of Computer Science of the University of Bologna. * Program Committee Co-Chairs - Paolo Ciancarini, University of Bologna, Italy - Herbert Wiklicky, Imperial College London, UK Members - Farhad Arbab CWI Amsterdam, The Netherlands - Antonio Brogi University of Pisa, Italy - Wolfgang Emmerich University College London, UK - Frank de Boer CWI & Utrecht University, The Netherlands - Jean-Marie Jacquet University of Namur, Belgium - Josst Kok Leiden University, The Netherlands - Toby Lehman IBM Almaden, US - D.C. Marinescu University of Central Florida, US - Ronaldo Menezes Florida Institute of Technology, US - Andrea Omicini University of Bologna, Italy - Paolo Petta OeFAI, Austria - Gian Pietro Picco Politecnico di Milano, Italy - Ernesto Pimentel University of Malaga, Spain - Rosario Pugliese University of Florence, Italy - Gruia Catalin Roman Washington University, USA - Robert Tolksdorf FU Berlin, Germany - Emilio Tuosto University of Leicester, UK - Carlos Varela Rensselaer Polytechnic Institute, US - Alan Wood University of York, UK LOGIC IN COMPUTER SCIENCE (LICS 2006) August 12th - 15th, 2006, Seattle, Washington Call for Papers http://www.informatik.hu-berlin.de/lics/lics06/ * Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006) The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2006 will be organized as part of the Fourth Federated Logic Conference (FLoC 2006) to be held in Seattle from August 10 to August 22, 2006. Visit http://research.microsoft.com/floc06/ for information regarding FLoC 2006 and the participating meetings. * Suggested, but not exclusive, topics of interest for LICS 2006 include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, reasoning about security, rewriting, specifications, type systems and type theory, and verification. We welcome submissions in emergent areas, such as bioinformatics and quantum computation, if they have a substantial connection with logic. * Important Dates Authors are required to submit a paper title and a short abstract of about 100 words before submitting the extended abstract of the paper. All submissions will be electronic. * Important Dates - Paper Registration Deadline (with titles & short abstracts): February 3, 2006 - Paper Submission Deadline: February 10, 2006 - Author notification: April 14, 2006 - Final versions for the proceedings: May 5, 2006. All deadlines are firm; late submissions will not be considered. Detailed information about electronic paper submission will be posted at the LICS 2006 web site. * Submission instructions: Extended abstracts may be no longer than 10 pages including references, and must be formatted in the IEEE Proceedings two-column camera-ready style (IEEE style files will be accessible from the LICS 2006 web site). If necessary, detailed proofs of technical results can be included in a clearly-labeled appendix in the same two-column format following the 10-page extended abstract or there can be a pointer to a manuscript on a web site. This material may be read at the discretion of the program committee. Extended abstracts not conforming to the above requirements concerning format and length may be rejected without further consideration. * Short Presentations LICS 2006 will have a session of short (5-10 minutes) presentations. This session is intended for descriptions of work in progress, student projects, and relevant research being published elsewhere; other brief communications may be acceptable. Submissions for these presentations, in the form of short abstracts (1 or 2 pages long), should be entered at the LICS 2006 submission site between 15th April and 21st April 2006. Authors will be notified of acceptance or rejection by 28th April 2006. * Kleene Award for Best Student Paper: An award in honor of the late S.C. Kleene will be given for the best student paper, as judged by the program committee. Details concerning eligibility criteria and procedure for consideration for this award will be posted at the LICS web site. The program committee may decline to make the award or may split it among several papers. * Invited Speakers The following distinguished speakers have agreed to give invited talks at LICS 2006: - Andreas Blass (Univ. of Michigan, Ann Arbor, USA), - Andy Gordon (Microsoft Research, Cambridge, UK), - Orna Kupferman (Hebrew Univ., Israel); - the LICS/RTA/SAT joint plenary invited speaker is Randy Bryant (Carnegie Mellon Univ., USA); - the invited speakers at the FLoC session celebrating the birth centennial of Kurt Goedel are John Dawson (Pennsylvania State Univ., York, USA) and Dana Scott (Carnegie Mellon Univ., USA). * Colocated Events The following conferences are colocated with LICS at FLoC 2006: CAV, ICLP, IJCAR, RTA, SAT; visit the FLoC 2006 homepage at http://research.microsoft.com/floc06/ for details. There will also be a number of workshops sponsored by the FLoC conferences. Details on workshops affiliated with LICS, in particular, can be found at the LICS 2006 web site. * Sponsorship The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing. * Program Chair Rajeev Alur, Univ. of Pennsylvania * Program Committee: - Luca Aceto, Reykjavik Univ., Iceland and Aalborg Univ., Denmark - Rajeev Alur, Univ. of Pennsylvania, USA - Christel Baier, Univ. of Bonn, Germany - Maria Luisa Bonet, Polytechnic Univ. of Catalunya, Spain - Flavio Corradini, Univ. of Camarino, Italy - Victor Dalmau, Univ. Pompeu Fabra, Spain - Thomas Eiter, TU Vienna, Austria - Kousha Etessami, Univ. of Edinburgh, UK - Amy Felty, Univ. of Ottawa, Canada - Cedric Fournet, Microsoft Research, UK - Patrice Godefroid, Bell Labs, USA - Jason Hickey, California Institute of Technology, USA - Radha Jagadeesan, DePaul Univ., USA - Leonid Libkin, Univ. of Toronto, Canada - Patrick Lincoln, SRI, USA - Yoram Moses, Technion, Israel - George Necula, Univ. of California at Berkeley, USA - Joel Ouaknine, Oxford Univ., UK - Davide Sangiorgi, Univ. of Bologna, Italy - Mahesh Viswanathan, Univ. of Illinois at Urbana-Champaign, USA - Thomas Wilke, Univ. of Kiel, Germany * Conference Chair Magus Veanes, Microsoft Research, Redmond, USA * Workshop Chair Philip J. Scott, Univ. of Ottawa, Canada * Publicity co-chairs: - Stephan Kreutzer, Humboldt-University Berlin, Germany - Nicole Schweikardt, Humboldt-University Berlin, Germany * General chair: Phokion G. Kolaitis, IBM Almaden Research Center and Univ. of California, Santa Cruz, USA * Organizing committee - Samson Abramsky, - Rajeev Alur, - Franz Baader, - Andrei Broder, - Samuel Buss, - Edmund Clarke, - Amy Felty, - Hal Gabow, - Lauri Hella, - Radhakrishnan Jagadeesan, - Alan Jeffrey, - Phokion Kolaitis (chair), - Stephan Kreutzer, - Johann Makowsky, - John Mitchell, - Mogens Nielsen, - Prakash Panangaden, - Femke van Raamsdonk, - Philip Scott, - Nicole Schweikardt, - Magus Veanes, - Andrei Voronkov * Advisory board - Robert Constable, - Yuri Gurevich, - Claude Kirchner, - Dexter Kozen, - Ursula Martin, - Albert Meyer, - Leszek Pacholski, - Vaughan Pratt, - Andre Scedrov, - Dana S. Scott, - Moshe Y. Vardi, - Glynn Winskel VERIFICATION AND DEBUGGING Associated with CAV 2006 16-21 August Seattle, USA Call For Papers * 1st Workshop on Verification And Debugging * The workshop addresses the technologies and methodologies that need to be employed after verification has detected the presence of a bug. It aims to combine the efforts of the computer-aided verification and software engineering communities, attracting work in the areas of algorithms, tools, and methodologies for failure analysis. We welcome submissions addressing debugging of software, circuit designs, or combinations of the two. * Topics of interest include - explanation and simplification of error traces, - fault localization, - rectification of the design, the specification, or the environment description, - test case generation for debugging, - debugging techniques, - methodologies that facilitate debugging, - overviews that provide a novel view of the state of the art and stimulate discussion and further research, and - empirical studies on debugging. * Papers should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. * Important Dates - Paper submission deadline: 24 April 2006 - Notice of acceptance/rejection: 22 May 2006 - Final version due: 19 June 2006 - CAV conference: 16-21 August * The 2006 conference on Computer-Aided Verification will be a part of the Federated Logic Conference in Seattle. The workshop will be held right before or right after CAV. * Further info Details of the submission process, the date of the workshop, and the way in which the accepted papers will be published will be made available at http://www.ist.tugraz.at/vandd.html. The program committee can be reached at vandd2006@ist.tu-graz.ac.at. * For further info on FLOC, see http://research.microsoft.com/floc06/. * Program Committee - Roderick Bloem (Graz University of Technology), - Alex Groce (Laboratory for Reliable Software, Jet Propulsion Laboratory), - John Moondanos (Future Formal Technologies Group, Logic Design Group, Intel), - Marco Roveri (ITC-irst), - Fabio Somenzi (University of Colorado at Boulder), - Markus Stumptner (University of South Australia), and - Andreas Zeller (University of Saarbruecken). PERSPECTIVES OF SYSTEM INFORMATICS 27-30 June 2006, Novosibirsk, Akademgorodok, Russia Second Call for Papers * Sixth International Andrei Ershov Memorial Conference Perspectives of System Informatics http://www.iis.nsk.su/PSI06 * Aims and Scope The conference is held to honor the 75th anniversary of academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics. The first five conferences were held in 1991, 1996, 1999, 2001 and 2003, respectively, and proved to be significant international events. * The aim of the conference is to provide a forum for the presentation and in-depth discussion of advanced research directions in computer science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction is another aim of the conference. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals. * Conference Chair - Alexander Marchuk A. P. Ershov Institute of Informatics Systems Novosibirsk, Russia * Steering Committee - Dines Bjorner, Institute of Informatics and Mathematical Modelling Denmark - Manfred Broy, Institut fur Informatik, TU Munchen, Germany - Alexandre Zamulin, A. P. Ershov Institute of Informatics Systems Novosibirsk, Russia * Program Committee co-chairs - Irina Virbitskaite, A. P. Ershov Institute of Informatics Systems Novosibirsk, Russia - Andrey Voronkov Microsoft Research Redmond, USA * Conference Secretary - Natalia Cheremnykh A. P. Ershov Institute of Informatics Systems 6, Acad. Lavrentjev pr. 630090 Novosibirsk, Russia tel.: +7-383-3307352 fax: +7-383-3323494 e-mail: psi06@iis.nsk.su * Conference Topics Conference topics include: 1. Foundations of Program and System Development and Analysis - specification, validation, and verification techniques, - program analysis, transformation and synthesis, - semantics, logic and formal models of programs, - partial evaluation, mixed computation, abstract interpretation, compiler construction, - theorem proving and model checking, - concurrency theory, - modeling and analysis of real-time and hybrid systems, - computer models and algorithms for bioinformatics. 2. Programming Methodology and Software Engineering - object-oriented, aspect-oriented, component-based and generic programming, - programming by contract, - program and system construction for parallel and distributed computing, - constraint programming, - multi-agent technology, - system re-engineering and reuse, - integrated programming environments, - software architectures, - software development and testing, - model-driven system/software development, - agile software development, - tools for software engineering, - program understanding and visualization. 3. Information Technologies - data models, - database and information systems, - knowledge-based systems and knowledge engineering, - ontologies and semantic Web, - digital libraries, collections and archives, Web publishing, - peer-to-peer data management. In addition to papers in the above list of topics, papers both bridging the gap between different directions and promoting mutual understanding of researchers are welcome. Papers defining the general prospects in Computer Science are also encouraged. * Program Committee Members - Scott W. Ambler, Ambysoft Inc., Toronto, Canada Egidio Astesiano, Univ. Genova, Italy - Janis Barzdins, Univ. Latvia, Riga, Latvia - Frederic Benhamou, Univ. Nantes, France Stefan Brass, Univ. Halle, Germany - Ed Brinksma, Univ. Twente, The Netherlands - Kim Bruce, Pomona College, California, USA - Mikhail Bulyonkov, IIS SB RAS, Novosibirsk, Russia - Albertas Caplinskas, IMI, Vilnius, Lithuania - Sung-Deok Cha, KAIST, Taejon, South Korea - Gabriel Ciobanu, Inst. Comp. Sc. RA, Iasi, Romania - Paul C. Clements, Carnegie-Mellon Univ., USA - Miklos Csuroes, Univ. Montreal, Canada - Serge Demeyer, Univ. of Antwerp, Belgium - Alexander Dikovsky, Univ. Nantes, France - Javier Esparza, Univ. Stuttgart, Germany Jean Claude Fernandez, Univ. J. Fourier, Grenoble, France - Chris George, UNU/ IIST, Macau - Ivan Golosov, Intel, Novosibirsk, Russia Jan Friso Groote, Eindhoven Univ. of Technology, The Netherlands - Alan Hartman, IBM Haifa Research Lab., Israel - Victor Ivannikov, IPS RAS, Moscow, Russia - Victor Kasyanov, IIS SB RAS, Novosibirsk, Russia - Joost-Pieter Katoen, RWTH Aachen Univ., Germany - Alexander Kleschev, IACP RAS, Vladivostok, Russia - Nikolay Kolchanov, ICiG, Novosibirsk,, Russia - Gregory Kucherov, INRIA/LORIA, Nancy, France - Johan Lilius, Abo Akademi Iniv. Turku, Finland - Dominique Mery, Univ. Henri Poincare, Nancy, France - Torben Mogensen, Univ. Copenhagen, Denmark - Bernhard Moeller, Univ. Augsburg, Germany Hanspeter Moessenboeck, JK Univ. Linz, Austria - Peter Mosses, Univ. Wales, Swansea, UK - Ron Morrison, St Andrews Univ., UK Peter Mueller, ETH Zurich, Switzerland - Fedor Murzin, IIS SB RAS, Novosibirsk, Russia - Valery Nepomniaschy, IIS SB RAS, Russia - Nikolaj Nikitchenko, Nat. Univ. Kiev, Ukraine - Jose R. Parama, Univ. A Coruna, Spain - Francesco Parisi-Presicce, GM Univ., Virginia, USA - Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland - Jaan Penjam, Tallinn Tech. Univ., Estonia - Peter Pepper, Tech. Univ. Berlin, Germany - Alexander Petrenko, IPS RAS, Moscow, Russia - Jaroslav Pokorny, Charles U., Prague, Czech Republic - Wolfgang Reisig, Tech. Univ. Berlin, Germany Viktor Sabelfeld, Univ. Karlsruhe, Germany - Timos Sellis, Nation. Tech. Univ. Athens, Greece - Alexander Semenov, Intel, Novosibirsk, Russia Klaus-Dieter Schewe, Massey Univ, PN, New Zealand - David Schmidt, Kansas State Univ., Manhattan, USA - Sibylle Schupp, Chalmers Univ. Tech., Sweden - Nikolay Shilov, IIS SB RAS, Novosibirsk, Russia - Alexander Tomilin, IPS RAS, Moscow, Russia - Enn Tyugu, Inst. Cybernetics, Tallinn, Estonia - Alexander L. Wolf, Univ. Colorado at Boulder, USA - Tatyana Yakhno, Dokuz Eylul Univ., Izmir, Turkey - Wang Yi, Uppsala Univ., Sweden * Invited Speakers - Amir Pnueli (Weizmann Inst. Science, Rehovot, Israel) - Eike Best (Univ. Oldenburg, Germany) - Robert Harper (Carnegie Mellon Univ., Pittsburgh, USA) - Rustan Leino (Microsoft Research, Redmond, USA) - Alexander Letichevsky (Inst. Cybernetics, Kiev, Ukraine) - Gordon Plotkin (Univ. Edinburgh, UK (unconfirmed)) * Location The conference will be held in Akademgorodok (Academy town), 30 km South from Novosibirsk, the largest city of Siberia. Akademgorodok is located in a picturesque place near the Ob lake. It is surrounded with birch and pine forests and pleasant not only for work but for recreation as well. Silence, beautiful landscape, and pure air are the factors promoting scientific activity and creativity. * Submissions Submissions for extended abstracts must: - Contain original contributions that have not been published or submitted to other conferences/journals in parallel with this conference. - Clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work. - Be in PS or PDF and formatted according to Springer LNCS Information for Authors: http://www.springeronline.com - Have a length that does not exceed 10 pages for a regular talk and 5 pages for a short talk. - Be in English and in a form that can be immediately included in the proceedings without major revision. - Be sent electronically (as a PostScript or PDF file) using website http://www.easychair.org/PSI2006/submit/ not later than January 23, 2006 * Conference Proceedings A book of extended abstracts of invited and accepted talks will be available at the conference. The full versions of the papers presented at the conference (roughly, 14 pages long for a regular talk and 7 pages long for a short talk) will be published by Springer-Verlag in the Lecture Notes in Computer Science series after the conference. * Satellite Workshops Additionally the following workshops will be satellite events of PSI06: - Educational Informatics (the workshop page is http://www.iis.nsk.su/psi06/education/index_e.shtml), - Program Understanding which will be held in Altai mountains (the workshop page is http://www.iis.nsk.su/psi06/p_understanding/index_e.shtml), * Important Dates - January 23, 2006: submission deadline of extended abstracts - April 7, 2006: notification of acceptance - June 27-30, 2006: the conference dates - September 1, 2006: final papers due COMPUTER SECURITY FOUNDATIONS WORKSHOP (CSFW) 5-7 July 2006 Venice Call for Papers http://www.dsi.unive.it/CSFW19/ * Theme. Foundational issues in information security. Cryptographic protocols and distributed systems security; non-interference and information flow; trust management and access control; security and mobility; language-based security; anonymity, privacy, and voting; etc. * Submission Deadlines: Abstracts due 30 January 2006; Full submissions due 3 February 2006. * Immediately precedes ICALP in same venue. * Program committee. - Michael Backes, - David Basin, - Bruno Blanchet, - Gérard Boudol, - Ran Canetti, - Véronique Cortier, - Pierpaolo Degano, - Sandro Etalle, - Riccardo Focardi, - Andrew Gordon, - Joshua Guttman (Chair), - Matthew Hennessy, - Alan Jeffrey, - Gavin Lowe, - Jonathan Millen, - John Mitchell, - Andrew Myers, - Michael Rusinowitch, - Mark Ryan, - Andrei Sabelfeld, - Andre Scedrov, - Steve Schneider, - Vitaly Shmatikov, - Lenore Zuck. SIROCCO 2006 July 3-5, 2006, Chester, United Kingdom http://sirocco06.csc.liv.ac.uk/ * Conference The Colloquia on Structural Information and Communication Complexity (SIROCCO) focus on the relationship between computing and communication, i.e., the study of those factors that are significant for the computability and the communication complexity of problems and on the interplay between structure, knowledge and complexity. The Colloquia provide an opportunity to bring together specialists interested in the fundamental principles underlying all computing through communication. SIROCCO prides itself on being a lively venue, which encourages the emergence of new research areas (related to distributed computing in a broad sense) and the dissemination of original ideas. This is achieved by dedicating ample time for informal discussions and open problem sessions in addition to regular conference activities. Original papers are solicited from all those areas where the interplay between complexity and communication takes place. In particular from: distributed computing, high-speed networks, interconnection networks, mobile computing, optical computing, parallel computing, sensor networks, wireless networks, autonomous robots, and related areas. * Topics of interest include (but are not limited to): - communication complexity, - distributed algorithms and data structures, - information dissemination, - mobile agent computing, - models of communication, - network topologies, - routing protocols, - sense of direction, - structural properties. * Invited Speakers - Hagit ATTIYA (Technion) - Danny KRIZANC (Wesleyan) - Roger WATTENHOFER (ETH, Zurich) * Submissions - Authors are invited to submit their work in one of the three acceptable formats: novel research contributions, position papers, and surveys. - A PostScript or PDF version of the paper (not exceeding 12 pages) together with at most 20 lines of abstract in ASCII format, via the conference web page: http://sirocco06.csc.liv.ac.uk/ (preferably) or by e-mail to sirocco06@csc.liv.ac.uk, no later than February 10, 2006. - Authors who are unable to submit their work electronically should contact the organisers. No simultaneous submission to other conferences with published proceedings is allowed. The proceedings of the conference are published in the Springer Verlag LNCS series. Selected papers will be invited to the special issue of Theoretical Computer Science. * Important Dates - Deadline for submission: FEBRUARY 10, 2006 - Notification to authors: MARCH 17, 2006 - Final version: APRIL 14, 2006 - Symposium: JULY 3-5, 2006 * ORGANIZING COMMITTEE - David PELEG (Chair) - Christoph AMBUEHL - Alexey FISHKIN - Leszek GASIENIEC - Judith LEWA - Prudence WONG * More Information SIROCCO will be co-located with CAAN ( 3rd Workshop on Combinatorial and Algorithmic Aspects of Networking and the Internet), which will take place on July 2nd. * One of our goals is to keep the costs of the conference on the lowest possible level. We are happy to anounce that with kind generosity of the EPSRC we will be able to provide several grants for young researchers and postgraduate students. * For more up to date information check regularly the url of SIROCCO'06 http://sirocco06.csc.liv.ac.uk/ WORKSHOP ON HYBRID LOGIC 2006 (HyLo 2006) August 11, 2006 Seattle, USA (affiliated with LICS 2006) First Call for Papers http://hylomol.ruc.dk/HyLo2006 * Theme. Hybrid logic is a branch of modal logic where it is possible to directly refer to worlds/times/states or whatever the elements of the model are meant to represent. It is easy to justify interest in hybrid logic because of the usefulness of the additional expressive power, and moreover, hybridization often improves the behavior of the underlying modal formalism. The workshop HyLo 2006 is relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. * Submission. Details will be announced at the workshop web page. The proceedings have been accepted for publication in ENTCS. * Submission deadline: May 26, 2006 (tentative) * Program committee. - Carlos Areces (INRIA Lorraine, France), - Patrick Blackburn (INRIA Lorraine, France), - Thomas Bolander (Technical University of Denmark), - Torben Braüner (Roskilde University, Denmark) --- Chair, - Valeria de Paiva (PARC, USA), - Melvin Fitting (Lehman College, New York, USA), - Balder ten Cate (University of Amsterdam, The Netherlands), - Jørgen Villadsen (Roskilde University, Denmark) 17TH INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'06) August 12-14, 2006, Seattle, WA, USA affiliated workshops August 11 & 15 (affiliated with FLoC'06) Call for Papers * Theme: All aspects of rewriting. Typical areas of interest include (but are not limited to): - Applications: case studies; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; - Foundations: matching and unification; narrowing; completion techniques; strategies; constraint solving; explicit substitutions; tree automata; termination; - Frameworks: string, term, graph, and proof rewriting; lambda-calculus and higher-order rewriting; proof nets; constrained rewriting/deduction; categorical and infinitary rewriting; - Implementation: compilation techniques; parallel execution; rewrite tools; termination checking; - Semantics: equational logic; rewriting logic. * Affiliated workshops: HOR'06, RULE'06, UNIF'06, WG1.6, WRS'06, WST'06. * Submissions must be original and not submitted for publication elsewhere. Submission categories include regular research papers and system descriptions. Problem sets and submissions describing interesting applications of rewriting techniques are also welcome. See http://rta06.csl.sri.com/ * Submission deadline: February 15, 2006 for abstracts; then February 22, 2006 for full papers. * An award is given to the best paper or papers. A limited number of travel grants may be available for students who are (co-)authors of RTA-papers. * Program committee: - Zena Ariola (University of Oregon), - Franz Baader (Technical University Dresden), - Gilles Dowek (Ecole Polytechnique and INRIA), - Guillem Godoy (Technical University of Catalonia), - Deepak Kapur (University of New Mexico), - Delia Kesner (University Paris 7), - Denis Lugiez (University of Provence), - Claude Marche (University Paris-Sud), - Jose Meseguer (University of Illinois at Urbana-Champaign), - Frank Pfenning - chair (Carnegie Mellon University), - Ashish Tiwari (SRI International), - Yoshihito Toyama (Tohoku University), - Eelco Visser (Utrecht University ), - Hans Zantema (Eindhoven University of Technology). 22ND INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING 17-20 August, 2006 Seattle, Washington, USA, Second Call for Papers http://www.cs.uky.edu/iclp06/ * Part of Fourth Federated Logic Conference, FLoC 2006 http://research.microsoft.com/floc06/ * Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. - Alternative Paradigms: Constraint Logic Programming, Abductive Logic Programming, Inductive Logic Programming, Answer-Set Programming. - Applications: Deductive Databases, Data Integration, Software Engineering, Natural Language, Web Tools, Internet Agents, Artificial Intelligence. * The three broad categories for submissions are: (1) technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and (3) posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. * Details, as they become available will be posted at http://www.cs.uky.edu/iclp06/ * Publication The proceedings of the conference will be published by Springer-Verlag in the LNCS series. The proceedings will include the accepted papers and the abstracts of accepted posters. * Support sponsoring and awards The conference is sponsored by the Association for Logic Programming. The ALP has funds to assist financially disadvantaged participants. * The ALP is planning to sponsor two awards for ICLP'06: for the best technical paper and for the best student paper. * Important Dates Papers Posters Abstract submission deadline 14 February N/A Submission deadline 21 February 14 March Notification of authors 7 April 14 April Camera-ready copy due 2 May 2 May * ICLP'2006 Organization - General Chair: Manuel Hermenegildo (herme@fi.upm.es) - Program Co-Chairs: Sandro Etalle (s.etalle@utwente.nl) Mirek Truszczynski (mirek@cs.uky.edu) - Workshop Chair: Christian Schulte (schulte@imit.kth.se) - Doctoral Student Consortium: Enrico Pontelli (epontell@cs.nmsu.edu) - Publicity Chair: Alexander Serebrenik (a.serebrenik@tue.nl) * Program Committee - Maria Alpuente - Krzysztof Apt - Annalisa Bossi - Veronica Dahl - Giorgio Delzanno - Pierre Deransart - Agostino Dovier - Thomas Eiter - Sandro Etalle, co-chair - John Gallagher - Michael Gelfond - Hai-Feng Guo - Manuel Hermenegildo - Tomi Janhunen - Fangzhen Lin - Michael Maher - Victor Marek - Eric Monfroy - Stephen Muggleton - Brigitte Pientka - Maurizio Proietti - I.V. Ramakrishnan - Peter van Roy - Harald Sondergaard - Mirek Truszczynski, co-chair - German Vidal - Andrei Voronkov - Roland Yap * Conference Venue The conference will be a part of the fourth Federated Logic Conference (FLoC'06) to be held August 10-21, 2006, in Seattle, Washington (http://research.microsoft.com/floc06/). * Workshops The following workshops will be held in association with the ICLP-06 conference: - International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006) - Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) - International Workshop on Software Verification and Validation (SVV 2006) - Preferences and Their Applications in Logic Programming Systems Search and Logic: Answer Set Programming and SAT - 16th Workshop on Logic-Based Programming Environments (WLPE 2006) - MVLP'06: International Workshop on Multi-Valued Logic and Logic Programming 4TH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE August 22-24, 2006, Santiago, Chile Call for Papers * (TC1 Track of the 19th IFIP World Computer Congress) http://www.wcc-2006.org * Important Dates - Submission: January 15, 2006 - Notification: March 15, 2006 - Camera ready: April 7, 2006 - Conference: August 22-24, 2006 * List of Areas We seek papers on theoretic and fundamental aspects in Computer Science, in particular (but not exclusively) of the following areas: Algorithms, Complexity and Models of Computation: Algorithms in algebra and number theory Analysis and design of algorithms Automata and formal languages Cellular automata and systems Combinatorial, graph and optimization algorithms Computational and mathematical finance Computational learning theory Continuous algorithms and complexity Computational complexity Computational geometry Cryptography Distributed computing Descriptive complexity Evolutionary and genetic computing Experimental algorithms Mobile computing Molecular computing and algorithmic aspects of bioinformatics Network computing Neural computing Parallel and distributed algorithms Probabilistic and randomized algorithms Quantum computing Structural information and communication complexity Logic, Semantics, Specification and Verification: Automated theorem proving Concurrency theory Constructive and non-standard logics in computer science Databases Logic and functional programming Logic and semantics for programs and languages Logic, specification and verification of hybrid and real-time systems Parallel and distributed systems Proofs and specifications in computer science Security Semantic Web Software concepts Specification and verification of hardware and software Term rewriting systems Type and category theory in computer science * Invited Speakers - Marcelo Arenas, Pontificia Universidad Catlica de Chile - Marcos Kiwi, Universidad de Chile - Mihalis Yannakakis, Columbia University, USA * Submission and Publication The proceedings will be published by SSBM (Springer Science and Business Media), in the IFIP book series and will be available at the conference. Additionally, a CD-ROM with all the WCC 2006 Proceedings will be available. Submissions, as well as final versions, are limited to 12 pages sharp, in the final SSBM format. The instructions for preparing the papers can be downloaded from http://www.springeronline.com/sgw/cda/frontpage/0,11855,4-40492-0-0-0,00.html or ftp://ftp.springer.de/pub/tex/latex/ifip/. Only electronic submissions will be accepted, via the web site http://www.wcc-2006.org/tc1 . * The results of the paper must be unpublished and not submitted for publication elsewhere, including journals and the proceedings of other symposia or workshops. One author of each accepted paper should present it at the conference. Unprintable or overlength submissions may be rejected without consideration of their merits. * Please consult their webpage for further details: WCC 2006 URL http://www.wcc-2006.org/ STRUCTURAL OPERATIONAL SEMANTICS 2006 August 26, 2006 Bonn, Germany, (affiliated with CONCUR 2006) Call for Papers http://www.cse.unsw.edu.au/~rvg/SOS2006 * Theme: Structural Operational Semantics. Specific topics of interest include (but are not limited to): programming languages, process algebras, higher-order formalisms, rule formats for operational specifications, meaning of operational specifications, comparisons between denotational, axiomatic and SOS, compositionality of modal logics with respect to operational specifications, congruence with respect to behavioural equivalences conservative extensions, derivation of proof rules from operational specifications, software tools that automate, or are based on, SOS. * All submissions must be done electronically, via the above webpage. * Submission Deadline: Friday May 26, 2006 * Preliminary proceedings at the meeting; final proceedings in ENTCS. * Program committee: Rocco De Nicola (Florence, IT), Wan Fokkink (Amsterdam, NL), Rob van Glabbeek (NICTA, AU, co-chair), Reiko Heckel (Leicester, UK), Matthew Hennessy (Sussex, UK), Ugo Montanari (Pisa, IT), Peter Mosses (Swansea, UK, co-chair), MohammadReza Mousavi (Eindhoven, NL), David Sands (Chalmers, SE), Irek Ulidowski (Leicester, UK), Shoji Yuen (Nagoya, JP) * Invited speakers: Robin Milner (Cambridge, UK) and Bartek Klin (Sussex, UK) * Workshop organisers: Rob van Glabbeek (National ICT Australia) and Peter D. Mosses (Swansea University) * Email: sos2006@cs.stanford.edu MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (MFCS 2006) August 28 - September 1, 2006 High Tatras, Slovakia Call for Papers * 31st International Symposium on Mathematical Foundations of Computer Science www.mfcs.sk * The series of MFCS symposia, organized alternately in the Czech Republic, Poland and Slovakia since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together specialists who do not usually meet at specialized conferences. Quality papers presenting original research on theoretical aspects of computer science are solicited. * Principal topics of interest include (but are not limited to): - design and analysis of algorithms and data structures (including sequential, parallel, distributed, approximation, graph, network, on-line, optimization) - structural and computational complexity - foundations of computing - automata, grammars and formal languages - semantics and verification of programs - logic in computer science - formal specifications and program development - models of computation - concurrency theory - computational geometry - parallel and distributed computing - mobile computing - networks (including wireless, sensor, ad-hoc) - bioinformatics - quantum computing - cryptography and security - databases and knowledge-based systems - algorithmic learning theory - algorithmic game theory - computer-assisted reasoning - theoretical issues in artificial intelligence * The scientific program will include a number of invited lectures covering the areas of current interest. * Important dates: - Submission deadline: April 3, 2006 - Acceptance notification: May 29, 2006 - Final version due: June 19, 2006 - Symposium: August 28 - September 1, 2006 * The submission must not exceed 12 pages (preferably in Springer-Verlag Lecture Notes style). If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submission of papers to any other conference with published proceedings or submitting previously published papers is not allowed. Only electronic submissions in postscript or pdf formats are accepted. Detailed information about the submission procedure will be available on the conference web page www.mfcs.sk in due time. * Invited papers and accepted contributions will be published in the conference proceedings in Lecture Notes in Computer Science, Springer-Verlag. These will be distributed during the conference. * Conference address: Rastislav Kralovic MFCS 2006 Department of Computer Science Comenius University Mlynska dolina, FMFI UK 842 48 BRATISLAVA, Slovak Republic Phone: (+421 2) 602 95 470 Fax: (+421 2) 654 27 041 E-mail: kralovic@dcs.fmph.uniba.sk WWW: http://www.mfcs.sk * The conference is organized by Slovak Society for Computer Science and Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava * For further information, please contact the conference web page www.mfcs.sk LOGIC AND COMBINATORICS 23rd and 24th September 2006 Szeged, Hungary Satellite Workshop of the conference: Computer Science Logic 25th - 29th September 2006 * The annual conference Computer Science Logic is sponsored by the European Association for Computer Science Logic. The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for Computer Science. * A workshop on Applications of Combinatorics to Logic and of Logic to Combinatorics will be organized just before the conference Computer Science Logic to be held in Szeged in 2006. * Typical topics will be : - Proof complexity - Complexity of constraint satisfaction problems and other logically based problems. - Logical expression of graph properties, graph decompositions, graph transformations and related notions. - Logical expression of properties of matroids, isotropic systems, graph drawings and knots. - Counting and enumeration problems. - Polynomials associated with graphs and other combinatorial structures. - Ramsey-type arguments applied to 0/1 laws and Ehrenfeucht-Fraisse games. - "Countable" model theory. This list of topics is not exhaustive. * This workshop should interest people who work in logic (proof theory, finite model theory) on the one hand, and in combinatorics (graph theory, counting problems, algebraic notions associated with graphs and discrete structures) on the other. Recent results show how fruitful it is to associate graph theory, algebraic notions and monadic second-order logic. * All lectures will be on invitation. They will be surveys or presentations of technical results. A session will be devoted to discussing open problems, research directions and future events. * Do not hesitate to contact B Courcelle, organizer of the Workshop : courcell@labri.fr * Provisional information can be found from http://www.labri.fr/~courcell/ActSci.html * The organizer of CSL 2006 is Zoltan Esik : ze@inf.u-szeged.hu http://www.inf.u-szeged.hu/~csl06/ ADVANCES IN MODAL LOGIC (AIML-2006) 25-28 September 2006, Noosa (Queensland, Australia) First Call for Papers * Deadline: 27 March 2006 * Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences. * AiML-2006 is the sixth conference in the series. * Topics We invite submission on all aspects of modal logics, including the following: - applications of modal logic - computational aspects of modal logics + complexity and decidability of modal and temporal logics + modal and temporal logic programming + model checking + theorem proving for modal logics - history of modal logic - philosophy of modal logic - specific instances of modal logic + description logicsAdvances in Modal Logic + dynamic logics and other process logics + epistemic and deontic logics + modal logics for agent-based systems + modal logic and game theory + modal logic and grammar formalisms + provability and interpretability logics + spatial and temporal logics - theoretical aspects of modal logic + algebraic and coalgebraic perspective on modal logic + completeness and canonicity + correspondence and duality theory + many-dimensional modal logics + modal fixed point logics + model theory of modal logic + proof theory of modal logic - variations of modal logic + hybrid logic + intuitionistic logic + monotonic modal logic + substructural logic * Papers on related subjects will also be considered. * Invited Speakers Invited speakers will include: - Renate Schmidt (Manchester, UK) - Valentin Shehtman (Moscow, Russia) - Igor Walukiewicz (Bordeaux, France) - Alberto Zanardo (Padua, Italy) * Paper Submission The Proceedings of AiML 2006 will be published by College Publications www.dcs.kcl.ac.uk/kcl-publications/ In a change from previous AiMLs, the proceedings will be made available at the meeting. Authors are invited to submit a full paper (not just an abstract) of at most 15 pages plus optionally a technical appendix of up to 5 pages, together with a plain-text abstract of say 100-200 words. To be considered, submissions must be received no later than 27 March 2006. Papers must be submitted as .ps or .pdf files. The first page should include title, names of authors, the co-ordinates of the corresponding author, and some keywords describing the topic of the paper. More precise details will be available at www.itee.uq.edu.au/~aiml06/ * Programme Committee - Alessandro Artale (Free University of Bolzano, Italy) - Alexandru Baltag (University of Oxford, UK) - Guram Bezhanishvili (New Mexico State University, USA) - Julian Bradfield (University of Edinburgh, UK) - Melvin Fitting (City University of New York, USA) - Guido Governatori (University of Queensland, Australia) - Silvio Ghilardi (University of Milano, Italy) - Rob Goldblatt (Victoria University Wellington, New Zealand) - Valentin Goranko (University of the Witwatersrand, South Africa) - Rajeev Gore (Australian National University, Australia) - Ramon Jansana (University of Barcelona, Spain) - Alexander Kurz (University of Leicester, UK) - Carsten Lutz (Dresden University of Technology, Germany) - Maarten Marx (University of Amsterdam, Netherlands) - Martin Otto (Technical University of Darmstadt, Germany) - Graham Priest (University of Melbourne, Australia) - Mark Reynolds (University of Western Australia, Australia) - Ildiko Sain (Hungarian Academy of Sciences, Hungary) - Renate Schmidt (University of Manchester, UK) - Jerry Seligman (University of Auckland, New Zealand) - Nobu-Yuki Suzuki (Shizuoka University, Japan) - Heinrich Wansing (Dresden University of Technology, Germany) - Frank Wolter (University of Liverpool, UK) - Michael Zakharyaschev (Birkbeck College, London, UK) * Programme co-chairs - Ian Hodkinson, Imperial College London, imh(at)doc.ic.ac.uk - Yde Venema, University of Amsterdam, yde(at)science.uva.nl * Local organizers - Guido Governatori School of Information Technology and Electrical Engineering The University of Queensland guido@itee.uq.edu.au * Important dates - Submission deadline: 27 March 2006 - Acceptance notification: 26 May 2006 - Final version for conference due: 30 June 2006 - Conference: 25-28 September 2006 * Conference location Advances in Modal Logic 2006 will be held at Australis Noosa Lakes Conference Centre located at Noosaville, Noosa, Sunshine Coast, Queensland. * Further information - Information about AiML-2006 can be obtained at http://www.itee.uq.edu.au/~aiml06/ - E-mail enquiries about AiML-2006 should be directed to the local organizers or the program co-chairs. - Information about AiML can be obtained at http://www.aiml.net VACANCY: Two Open Positions in the CooPer Project CWI, Amsterdam The Netherlands * Position Description - The Coordination and Component Based Software group in SEN3 at CWI has two open positions for: (1) a postdoc for a period of three years, and (2) a PhD student for four years. - Both positions are within the research project "Coordination with Performance Guarantees" (CooPer), recently funded by the Dutch national science organization, NWO (http://www.nwo.nl/nwohome.nsf/pages/NWOP_5SME25_Eng), under the GLANCE program (http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_66ETXH_Eng?Opendocument). * Researchers in the CooPer project plan to develop coordination models and tools for specification and implementation of complex connectors with Quality-of-Service (QoS) guarantees. This will allow modeling and control of the end to end QoS of applications in large scale distributed processing environments, based on a compositional model of QoS. The work in CooPer involves: developing and validating quantitative models for the basic connectors that constitute the atomic building blocks of complex ones; developing a compositional QoS calculus that relates the relevant performance metrics at the application layer, the connector layer, and the basic connector layer; and using these models to develop and implement QoS control mechanisms to efficiently react to observed QoS degradation. This research spans over two separate groups within CWI: SEN3 - Coordination Models and Languages in the department of Software Engineering, and PNA2 - Advanced Communication Networks in the department of Probability, Networks and Algorithms. The activities in CooPer involve both systems oriented and theoretical work in software engineering, supervised by Prof. Dr. F. Arbab (www.cwi.nl/~farhad), as well as quantitative performance modeling, supervised by Prof. Dr. R.D. van der Mei (http://www.math.vu.nl/~mei). The CooPer project complements the theoretical and technological framework of other current projects within these two groups. * The candidate for the postdoc position is expected to have a PhD in computer science, with a strong background in component-based software engineering, and maturity in formal methods and their practical applications. Familiarity with performance analysis and quantitative models of communication networks is preferred, but not required. Project management skills, teamwork and leadership, as well as the ability to work effectively with academic colleagues and PhD students, are all important qualifications for this position. * The candidate for the PhD position should have at least a master degree in computer science, with a background in component-based software engineering, concurrency and distributed systems, and practical software development. * The Theme SEN3 (http://www.cwi.nl/sen3) at CWI is a dynamic group of internationally recognized researchers who work on Coordination Models and Languages and Component-Based Software Composition. The activity in SEN3 is a productive, healthy mix of theoretical, foundational, and experimental work in Computer Science, ranging in a spectrum covering mathematical foundations of models of computation, formal methods and semantics, implementation of advanced research software systems, as well as their real-life applications. * General information CWI is an internationally renowned research institute in mathematics and computer science, located in Amsterdam, The Netherlands. The focus is on fundamental research problems, derived from societal needs. Research is carried out in 15 research themes. More information about these themes can be found on the website www.cwi.nl where you can also take a look at our Annual Report. A substantial part of this research is carried out in the framework of national or international programs. CWI maintains excellent relations with industry and the academic world, at home as well as abroad. After their research careers at CWI, an increasing number of young staff members find employment in these sectors, for example in spin-off companies that are based on research results from CWI. Of course, library and computing facilities are first-rate. CWI's non-scientific services to its personnel include career planning, training & courses, assistance in finding housing, and tailor-made solutions to problems that may occasionally arise. * Terms of employment The salary is in accordance with the "CAO-onderzoekinstellingen" and is commensurate with experience. For instance, the postdoc base salary for a fresh PhD with no additional experience in scale 10 is around 2800 Euros/month, and for an experienced PhD in scale 12 it is around 4500 Euros/month. The current starting salary for a first year PhD student is around 1800 Euros/month with an incremental raise for each subsequent year. Besides the salary, CWI offers very attractive and flexible terms of employment, like a collective health insurance, pension-fund, etc. * Application To apply, please send a statement of your interest, together with curriculum vitae, letters of references, and lists of publications to: VACANCY: POSTDOCTORAL RESEARCH FELLOWSHIP, UNIVERSITY OF BIRMINGHAM * A postdoctoral Research Fellowship is available in the School of Computer Science, from January 2006. The successful applicant will join Dr Dan Ghica on an EPSRC project entitled Modular Abstraction and Abstraction Refinement: A Game-Semantic Approach. The project aims to develop modular verification techniques for software systems, based on game-semantic models. * The School of Computer Science is a major centre for research and teaching in Computer Science and has around 130 researchers. Prominent research themes are shown at http://www.cs.bham.ac.uk/ research. There is a lively and friendly atmosphere that encourages research straddling different themes. * Applicants must hold, or being nearing completion of, a PhD in Computer Science or a related subject. They must have a proven record in theoretical computer science, formal methods, or mathematics. Experience in one or more of the following is desirable: - Model checking - Programming languages - Semantics (esp. game semantics) - Logic - Category Theory - Formal specifications - Combinatorics * Details: Job Title: Postdoctoral Research Fellow Department/School: School of Computer Science Grade: Research Grade 1A/1B Starting salary: £20,044 - £24,352 a year; potential progression to £30,002 a year Post Duration: Up to 33 months Starting date: after January 2006, negotiable Informal enquiries: Dr Dan Ghica; Email: d.r.ghica@cs.bham.ac.uk Tel: +44 (0) 121 414 8819 VACANCY: FULL-TIME ACADEMIC POSITION, COMPUTING SCIENCE, UCLOUVAIN. BELGIUM * Full-time academic position, Computing Science, UCLouvain. Belgium * The Université catholique de Louvain (Belgium) invites applications for a full-time, tenure-track faculty position in the Department of Computing Science & Engineering (INGI), to be filled by September 1 2006. * Preference will be given to candidates with strong research achievements in one or several of the areas relating to the general fields of large-scale distributed systems, computer networks, artificial intelligence, programming systems or bioinformatics. Still, other areas of competence will also be considered, since qualifications take precedence over specialization. In case of similar qualifications, preference will be given to a candidate specialized in large-scale distributed systems. * Responsibilities include research, supervision of undergraduate and graduate students, as well as PhD theses, submission and management of research grants, and undergraduate/graduate teaching. * Rank and salary depend upon qualifications and experience. Highly qualified candidates may be given tenure immediately. * The Department belongs to the School of Engineering; it is located in the new city of Louvain-la-Neuve, 25 kms southeast of Brussels, the capital of Belgium, in the heart of Europe. * Additional information about the position may be obtained from: Prof. Yves Deville, Chair, Dept. Computing Science & Engineering Place Sainte-Barbe, 2, B-1348 Louvain-la-Neuve, Belgium Phone: +32 10 472067, Fax: +32 10 450345 E-mail: yde@info.ucl.ac.be URL: http://www.info.ucl.ac.be * Application deadline: January 6, 2006. * Additional details about the information to be provided and the administrative forms to be filled in is available from : http://www.crct.ucl.ac.be/Postes_acad_vacants_2006_2007/FSA_961_us.htm
Back to the LICS web page.