BRITISH LOGIC COLLOQUIUM Registered Charity No 275541 http://www.cs.bham.ac.uk/~exr/blc President Professor J B Paris FBA [Manchester] Vice-President Professor J M E Hyland [Cambridge] Treasurer Professor D Macpherson [Leeds] Secretary Dr M Dzamonja [East Anglia] Dr N Alechina [Nottingham] Dr E Ritter [Birmingham] Professor T Williamson FBA FRSE [Oxford] --------------------------------------------------------- Dear members, Happy New Year to you all! Here is the new edition of our newsletter: Mirna ----------------------------------------------------------- (1) FME Formal Methods in the Last 25 Years, 30 January 2006, London (2) International e-Conference on Computer Science 2006 (IeCCS 2006) (3) 2006 Programme on Logic and Algorithms - Workshops (4) Topology News, December 2005 (5) LICS Newsletter 102 + 102 b (6) PhD SCHOLARSHIP IN LOGIC VICTORIA UNIVERSITY OF WELLINGTON, NEW ZEALAND (7) BMC 2006, Newcastle upon Tyne (8) CoS-5 (Inference in Computational Semantics), a workshop to be held at Buxton in April 2006 -------------------------------------------------------------- -------------------------------------------------------------- (1) BCS-FACS / FME Evening Seminar Formal Methods in the Last 25 Years Jean-Raymond Abrial, ETH Zurich Ian Hayes, University of Queensland Cliff Jones, University of Newcastle John Tucker, University of Wales 30 January 2006 Start time: 5.30 pm Refreshments from 5pm BCS London Offices First Floor The Davidson Building 5 Southampton Street London WC2E 7HA Mathematically-based "formal" methods for developing software and systems have had an interesting history. Over the past twenty-five years, the subject has moved from controversies surrounding code verification, through work on data types, design methodology, refinement and "Lightweight" Formal Methods, to automated proof and model-checking technology. This event brings together four computer scientists who have been active as leading researchers and practitioners in the field over the last quarter century. It provides an opportunity to learn about the motivations behind some of the major developments in the field, to discuss trends, fashions, successes and failures and set them in their recent historical context. The meeting will be of interest to researchers, students and practitioners in software and systems development, specialists in formal methods and anyone with an interest in the history of computing. The Panel: Jean-Raymond Abrial, ETH Zurich Ian Hayes, University of Queensland Cliff Jones, University of Newcastle upon Tyne John Tucker, University of Wales, Swansea Chairman: John Fitzgerald, Formal Methods Europe (FME) There will be an opportunity for participants to raise issues for discussion at the event. In order to make best use of the time, participants are invited to mail John.Fitzgerald@ncl.ac.uk with issues or questions that they would like the panel to discuss. It may not be possible to deal with all the issues raised, but there will be an opportunity for additional questioning and discussion at the event. Refreshments will be served from 5pm The seminar is free of charge and open to everyone. If you would like to attend, please email Paul Boca [Paul.Boca@virgin.net] by >>>>> 26 January 2006 <<<<< . Pre-registration is required, as security at the BCS Offices is tight. Location of the venue: http://www.bcs.org/NR/rdonlyres/B5872B38-3FBB-46E8-9CE7-6F43212E1198/0/londonss. jpg FME website: http://www.fmeurope.org FACS Website: http://www.bcs-facs.org FACS Evening Seminars website: http://www.bcs-facs.org/events/EveningSeminars (2) Dear Colleagues This year we organise the International e-Conference on Computer Science 2006 (IeCCS 2006) from 28 June to 8 July 2006. Place of the Conference: Internet (is an e-Conference). Please circulate the following announcement, call for papers, sessions and minisymposia to your colleagues. For this conference I mention the following: 1. The extended abstracts will be published in the Proceedings of IeCCS 2006 (which will be published in the Lecture Series on Computer and Computational Sciences of the VSP/Brill (see http://www.brill.nl/m_catalogue_sub6_id22310.htm). We mention that VSP/Brill has already applied for the inclusion of this series in SCI). 2. The full papers will be published (as letters of ~ 7-8 A4 pages length) in Computing Letters (CoLe - see http://www.vsppub.com/journals/jn-ComLet.html). We mention that VSP/Brill has already applied for the inclusion of this series in SCI). 3. Every participant with his/her registration will receive: (a) The Proceedings of IeCCS 2006 and (b) Free subscription for CoLe. 4. For this conference you haven't expenses of Hotels, transportation etc since it is an Internet Conference and can be attended from your office or from the place you will select. 5. The session and symposium organisers have free registration. If you want leaflets and posters for IeCCS 2006, please send your request to firstname.lastname@example.org We mention that leaflet can be downloaded from the URL address of the Conference: http://www.ieccs.net/ Sincerely yours Professor Dr. T.E. Simos Chair and Organiser IeCCS 2006 -- Professor Dr. T.E. Simos, Academician of the EASA, EAS, EAASH President of the European Society of Computational Methods in Sciences and Engineering (ESCMSE) Active Member of the European Academy of Sciences and Arts (EASA) Corresponding Member of the European Academy of Sciences (EAS) Corresponding Member of European Academy of Arts, Sciences and Humanities (EAASH) Fellow of the Royal Society of Chemistry (FRSC) URL: http://www.uop.gr/~simos Editor-in-Chief and Founder Journal of Computational Methods in Sciences and Engineering (JCMSE) IOS Press. URL: http://www.iospress.nl/html/14727978.html Editor-in-Chief and Founder Applied Numerical Analysis and Computational Mathematics (ANACM) ISSN 1611-8170 Wiley-VCH. URL: http://www3.interscience.wiley.com/cgi-bin/jhome/106571062 Editor-in-Chief and Founder Computing Letters (COLE) ISSN 1574-0404 VSP/Brill Publishing Company. URL: http://www.vsppub.com/journals/jn-ComLet.html Series Editor: Lecture Series on Computer Science and Computational Science ISSN 1573-4196 VSP/Brill Publishing Company Official Address: Department of Computer Science and Technology, Faculty of Sciences and Technology, University of Peloponnese, GR-221 00 Tripolis, GREECE. Postal Address: 26 Menelaou Street, Amfithea - Paleon Faliron, GR-175 64 Athens, GREECE. E-mail: email@example.com ========================================================================== Conferences ----------- International Conference of Computational Methods in Sciences and Engineering 2005 (ICCMSE 2005), HOTEL POSEIDON, Loutraki, 21-26 October 2005. Information about ICCMSE: http://www.uop.gr/~iccmse/ International Conference of Numerical Analysis and Applied Mathematics 2005 (ICNAAM 2005), HOTEL ESPERIDES, Rhodes, Greece, 16-20 September 2005, Information: http://www.uop.gr/~icnaam/ International e-Conference of Computer Science 2006 (IeCCS 2006), 28 June - 8 July 2006. More information at: http://www.ieccs.net/ [ Part 2: "Attached Text" ] FIRST ANNOUNCEMENT AND CALL FOR PAPERS INTERNATIONAL e-CONFERENCE OF COMPUTER SCIENCE 2006 (IeCCS 2006), 28 June ~V 8 July 2006 URL address: http://www.iecce.net/ It is important to keep in mind that you can attend the Conference from your office PC or from any internet-enabled computer you may choose Attention All participants who have paid their respective conference registration fees will receive a login name and password before the start of the e-Conference, in order to enable them to access the e-Conference programme (this part of the website will be restricted only to fully registered participants). Please note that each login name and password will allow access to the restricted part of the IeCCS website from only ONE internet-enabled computer at a time (in other words: it will not be possible to concurrently use the same login and password access from a second etc computer). If a whole Department or Group of people wishes to have access to the e-Conference programme (28 June ~V 8 July 2006), please contact the General Chair for access registration fees. Please note that this is in addition to any individual registrations from that Department or Group and concerns ONLY the access issue, i.e. it does not include submission of abstracts/papers. In such cases a special login and password will be provided. The aim of IeCCS 2006 is to bring together leading scientists of the international Computer Science community and to attract original research papers of very high quality. The topics to be covered include (but are not limited to): Numerical Analysis, Scientific Computation, Computational Mathematics, Mathematical Software, Programming Techniques and Languages, Parallel Algorithms and its Applications, Symbolic and Algebraic Manipulation, Analysis of Algorithms, Problem Complexity, Mathematical Logic, Formal Languages, Data Structures, Data Bases, Information Systems, Artificial Intelligence, Expert Systems, Simulation and Modeling, Computer Graphics, Software Engineering, Image Processing, Computer Applications, Hardware, Computer Systems Organization, Software, Data, Theory of Computation, Mathematics of Computing, Information Systems, Computing Methodologies, Computer Applications, Computing Milieu (see http://www.ieccs.net/topics.htm). Chairman and Organizer Prof. T.E. Simos, Active Member of the European Academy of Sciences and Arts, Corresponding Member of the European Academy of Sciences, Corresponding Member of European Academy of Arts, Sciences and Humanities, Department of Computer Science and Technology, Faculty of Sciences and Technology, University of Peloponnese, Greece Vice-Chairman: Dr. G. Psihoyios, University of Buckingham, UK. Scientific Committee: Prof. Reda A. Ammar, USA, Prof. Peter Benner, Germany, Prof. Michel Dayde, France, Prof. Vijay Kumar, USA, Prof. P. Loucopoulos, UK, Prof. dr. H.A. (Erik) Proper, The Netherlands, Prof. Colette Rolland, France, Prof. Pascal Sainrat, France, Prof. James Hendler, USA, Prof. Dr. Gerik Scheuermann, Germany, Prof. Vijay K. Vaishnavi, USA, Dr. Willem-Jan van den Heuvel, The Netherlands Proceedings: Extended abstracts will be published in a special volume of: The VSP/Brill LECTURE SERIES ON COMPUTER AND ON COMPUTATIONAL SCIENCES. We note that the above series will be included in the Science Citation Index. The full papers of the presentations of IeCCS 2006 will be considered for publication in the Journal: Computing Letters (VSP/Brill Publishers) Call for Sessions Workshops and Minisymposia: We invite proposals for Sessions, Workshops or Minisymposia. Each session should have at least 8 paper presentations. For this session the organiser or his team can have at most 2 papers. Each workshop or minisymposium should have at least 10 paper presentations. For this workshop or minisymposium the organiser or his team can have at most 2 papers. The Session, Workshop or Minisymposium organizer will be responsible for advertising the workshop, reviewing and selecting the papers. The Session and Workshop or Minisymposium organisers will have free registration in IeCCS 2006. Papers accepted for Sessions, Workshops or Minisymposia will be published in the Proceedings of IeCCS 2006. After the Conference the papers presented at the Sessions, workshops or Minisymposia will be considered for publication in the journal: Computing Letters (VSP/Brill). Proposals to organize Sessions, Workshops or Minisymposia should include the following information: Title of the workshop; name, affiliation, mailing address and e-mail address of the proposer(s); description of the topic of the session (not exceeding 100 words); a short description on how the session will be advertised. The deadline for proposal submission is May 25, 2006. Please send your proposal to firstname.lastname@example.org. Call for papers You are invited to submit a paper and/or proposal to organise a woskshop, session or minisymposium. All accepted papers will be published in the Proceedings of IeCCS 2006 which will be published in the special volume of the VSP/Brill Series: LECTURE SERIES ON COMPUTER AND ON COMPUTATIONAL SCIENCES. We mention that VSP/Brill has already applied for the inclusion of this series in SCI). (see http://www.ieccs.net/proceeding.htm). A selected number of full papers will be published in a special issue of the Journal: Computing Letters (CoLe) published by VSP/Brill (see http://www.ieccs.net/proceeding.htm). Deadline for submission: 5 June 2006. All the papers should be send to: Secretary of the Editor of IeCCS 2006. E-mail: email@example.com, Postal Address: 26 Menelaou Street, Amfithea Paleon Faliro, GR-175 64 Athens, Greece, Fax: +30210 94 20 091, +302710 237397. Contact information: Secretary IeCCS 2006, E-mail: firstname.lastname@example.org, Postal Address: 26 Menelaou Street, Amfithea Paleon Faliron, GR-175 64, Athens, Greece, Fax: +30210 94 20 091 or + 302710 237 397 (3) During the first half of 2006, the Isaac Newton Institute for Mathematical Sciences at Cambridge, UK, will hold a Special Programme on Logic and Algorithms. The programme will include six workshops: 9 - 13 January Finite and Algorithmic Model Theory (A Satellite Meeting at Durham) 27 February - 3 March Logic and Databases 20 - 24 March Mathematics of Constraint Satisfaction: Algebra, Logic and Graph Theory (A Satellite Meeting at Oxford) 10 - 13 April New Directions in Proof Complexity 8 - 12 May Constraints and Verification 3 - 7 July Games and Verification The workshops are open to participation. See http://www.newton.cam.ac.uk/programmes/LAA/ws.html To join the mailing list, see http://www.newton.cam.ac.uk/programmes/LAA/list.html For further information, contact vardi at cs dot rice dot edu. Moshe Vardi (4) Topology News, December 2005 Graduate Student Topology Conference Journ?es Peter Shalen XII CARTEMI TOPOSYM 2006 Dubrovnik 2007 ########## Graduate Student Topology Conference Indiana University, Bloomington April 1-2, 2006 http://www.indiana.edu/~gstc/ The schedule will consist of talks given by students, as well as keynote presentations given by Vaughan Jones (UC Berkeley) and Dusa McDuff (SUNY Stony Brook). Participants are invited to give 30 minute talks; the subject need not be original research, but simply something the speaker enjoys and wishes to share. Talks should, in particular, be accessible to an audience of graduate students of varying levels. This conference is supported by the NSF and Indiana University. Conference organizers: Jennifer Franko, Prudence Heck, Cornelia Van Cott, Adam Weyhaupt ########## Journ?es Peter Shalen a conference on 3-dimensional topology and its r?le in mathematics Centre de Recherches Math?matiques, Montr?al 12-15 June, 2006 http://www.math.uic.edu/journees/ Tentative list of speakers: Ian Agol (University of Illinois at Chicago), Mladen Bestvina (University of Utah), Marc Culler (University of Illinois at Chicago), Nathan Dunfield (Caltech), Cameron Gordon (University of Texas), Alex Lubotzky (Hebrew University of Jerusalem), Yair Minsky (Yale University), Maryam Mirzakhani (Princeton University/Clay Institute), John Morgan (Columbia University), Lenhard Ng (Stanford University / AIM), Peter Ozsvath (Columbia University), Jake Rasmussen (Princeton Univerity), Michah Sageev (Technion) Conference Organizers: Steve Boyer, Marc Culler, Nathan Dunfield, Dick Canary, Benson Farb Speaker expenses, refreshments and conference facilities are being provided through the generous support of CRM. A proposal has been submitted to the U.S. National Science Foundation to fund participant travel to the conference. Priority for support will be given to graduate students and postdocs. Please sign in on the registration page if you wish to be considered for support. We will email application instructions and other information regarding travel support once we hear from the NSF. ########## XII MEETING ON REAL ANALYSIS AND MEASURE THEORY July 3-7, 2006 Hotel Continental Terme, Ischia (NA), Italy http://www.dma.unina.it/~cartemi Since 1984 the meeting on Real Analysis and Measure Theory has been a biennal event of European relevance where established scientists and young researchers discuss their recent work in fundamental Mathematical disciplines such as Measure Theory, Real Analysis, Lattice Theory, taking into consideration their role in applications to Decision Theory, Economics, Mathematical Finance and Theoretical Physics. The meeting is also an occasion for discussing new developments, unexpected relations with other mathematical fields, and new connections with applications. With a program of scientific talks of reasonable density, we wish to fix the state of the art in the topics the meeting covers and, simultaneously, to give young scientists a concrete occasion to start/test their research in cooperation with world-famous specialists. The Meeting is successfully organized every two years. The present edition will be held in Ischia (NA) in the period 3-7 July, 2006. The site of the meeting will be Hotel Continental Terme. As usual, there will be 45 minutes invited lectures (we still are defining the program) and shorter communications (20-25 minutes). As for the previous occasions, papers presented at CARTEMI can be published in the journal Atti del Seminario Matematico e Fisico dell'Universit? di Modena following the usual "rules" of any publication (papers must be of original content, are refereed...) and they normally appear on several issues of the journal. Only finally, all the papers will be collected to form the volume of Proceedings. To confirm your participation, you can send us your registration form by e-mail or fax, with the title of your communication (if any), before the end of April. The conference fee is 100,00 Euro. For the hotel reservation, please send the accommodation form directly to the hotel within the 30th of May (better to use email or fax). The pension-rates are indicated in the form. Both the registration form and the accommodation form are available on the web site of the meeting. Scientific Committee: C.D. Aliprantis (Univ. West Lafayette, USA), V. Aversa (Univ. Federico II, Napoli), A. Basile (Univ. Federico II, Napoli), A. Bella (Univ. Catania), B. Bongiorno (Univ. Palermo), D. Candeloro (Univ. Perugia), P. de Lucia (Univ. Federico II, Napoli), E. De Pascale (Univ. Calabria), G. Di Maio (Univ. Caserta), U. Marconi (Padova), L. Paganoni (Univ. Milano), E. Pap (Univ. Novi Sad, Yugoslavia), P. Papini (Bologna), P. Ptak (Univ. Czech Techn. Praga, Czech Rep.), G. Tironi (Trieste), A. Volcic (Univ. Calabria), H. Weber (Univ. Udine), J.D.M. Wright (Univ. Reading, UK). Organizing Committee: P. de Lucia, A. Basile, E. D'Aniello, A. De Simone, C. Tarantino, F. Ventriglia. ########## 10th Prague topological symposium (TOPOSYM 2006) August 13 - 19, 2006 Czech Republic Online registration is now open. http://toposym.mff.cuni.cz ########## Dubrovnik 2007 We wish to inform you that we plan to have the next Dubrovnik Topology Conference from September 30 - October 7, 2007 (seven day) as promised at the last conference. You will receive further informations as preparations go on. If you know of someone who might be interested in attending the conference, please send his/her e-mail address to Ivan Ivansic (email@example.com) in order to be added to the e-mail list. Also, as you might already know, the proceedings of the last Dubrovnik Topology Conference are now available also in printed form as Volume 153, Issue 2-3 of "Topology and Its Applications". Ivan Ivansic James E. Keesling Alexander N. Dranishnikov Sime Ungar ########## Topology News is a occasional mailing list used to distribute conference announcements and other information of interest to topologists. Please send us any news to distribute. If you do not want to receive these newsletters, please tell us and we will remove your email address from our mailing lists. Elliott Pearl Stephen Watson Topology Atlas http://at.yorku.ca/topology/ firstname.lastname@example.org (5) 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 email@example.com ******************************************************************* 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 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 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 firstname.lastname@example.org. 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 email@example.com. 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 firstname.lastname@example.org. 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 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 email@example.com. * 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: firstname.lastname@example.org * 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 email@example.com, 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). ICLP'06 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 (firstname.lastname@example.org) - Program Co-Chairs: Sandro Etalle (email@example.com) Mirek Truszczynski (firstname.lastname@example.org) - Workshop Chair: Christian Schulte (email@example.com) - Doctoral Student Consortium: Enrico Pontelli (firstname.lastname@example.org) - Publicity Chair: Alexander Serebrenik (email@example.com) * 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: firstname.lastname@example.org 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: email@example.com 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 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 firstname.lastname@example.org * 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: Prof. F. Arbab, telephone +31-20-592-4056, e-mail Farhad.Arbab@cwi.nl making sure that you specifically mention the CooPer project. 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: email@example.com 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: firstname.lastname@example.org 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 From email@example.com Thu Dec 22 16:04:18 2005 Date: Thu, 22 Dec 2005 16:58:37 +0100 (CET) From: Kreutzer + Schweikardt To: LiCS 2006 List Subject: LICS Newsletter 102b Newsletter 102b Second part of the split 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 firstname.lastname@example.org ******************************************************************* TABLE OF CONTENTS * CONFERENCES AND WORKSHOPS LICS 2006 - Call for Papers Logic and Combinatorics - First Announcement 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 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 : email@example.com * Provisional information can be found from http://www.labri.fr/~courcell/ActSci.html * The organizer of CSL 2006 is Zoltan Esik : firstname.lastname@example.org http://www.inf.u-szeged.hu/~csl06/ (6) PhD SCHOLARSHIP IN LOGIC VICTORIA UNIVERSITY OF WELLINGTON, NEW ZEALAND Supervisors: Prof Rob Goldblatt (Mathematics), Assoc Prof Edwin Mares (Philosophy). A scholarship is available for a PhD student to work on a project entitled "Semantic analysis of substructural logics" supported by a grant from the Marsden Fund. The aim is to use a new semantic interpretation that we have developed for quantifiers in relevant logic (see the article "An alternative semantics for quantified relevant logic" at www.mcs.vuw.ac.nz/~rob) to help us model and understand various logical systems, including other substructural and intentional logics like linear logic, BCK logic, intuitionistic logic, modal and temporal logics. There are both mathematical and philosophical components to this project, ranging from the mathematical analysis and representation of algebraic models to the philosophical interpretation and justification of our semantics. The PhD student will be expected to work on at least one of these components, and will have the opportunity to develop their own proposals for research directions, as well as working on assigned topics. Qualifications: Bachelors Honours or Masters degree in logic, mathematics or philosophy. A background in abstract algebra or semantic modelling of logical systems is desirable. Salary: The scholarship is valued at NZD 22,000 per year (tax-free) plus NZD 4,000 per year for tuition fees. Note that international students pay only domestic fees; the domestic fees for 2006 will be approximately NZD 4,200. Duration: the scholarship is for three years, with a negotiable starting time after 1 Feb 2006. Contact: for enquiries or applications please send email to either Rob.Goldblatt@vuw.ac.nz or Edwin.Mares@vuw.ac.nz (7) Dear Colleague, The 58th British Mathematical Colloquium will be held at the University of Newcastle, from 1pm on Monday the 10th April 2006 till 1pm on Thursday the 13th April 2006. Plenary Speakers: Nigel Higson (Penn State, USA) Victor Kac (MIT, USA) Alexander Kirillov (Pennsylvania, USA) Preda Mihailescu (Paderborn, Germany) Morning speakers include: Gordon Blower (Lancaster) Michael Farber (Durham) Charles Read (Leeds) Manfred Schocker (Swansea) Anthony Scholl (Cambridge) Eugene Shargorodsky (King's College London) Nicole Snashall (Leicester) Special session on Analysis and Geometry on Groups: Paul Baum (Penn State, USA) Alain Valette (Neuchtel, Switzerland) Andrzej Zuk (CNRS, Paris, France) Special session on Operator Theory: Miroslav Englis (Czech Academy of Sciences) Kristian Seip (NTNU, Trondheim, Norway) Joel Shapiro (Michigan State University, USA) Public Lecture by: David Acheson (Oxford) In addition, there are splinter groups being organised allowing for contributed talks in the following areas: Arithmetic algebraic geometry Random matrices and operators Logic Group theory and its applications Hyberbolic geometry Operator theory Geometry and topology Semigroup theory Differential equations If there is not a splinter group in your area and you would like to organise one please either contact us at bmc06.ac.uk or indicate this in the area for comments on your registration form (follow the link given below). Postgraduate conference: There will be a postgraduate in the same location prior to the commencement of the BMC on the morning of Monday 10th April. A North British Functional Analysis Meeting meeting will be held on Monday 10th of April, in Newcastle prior to the start of the BMC with speaker John McCarthy (Washington University, St Louis, USA). See http://www.amsta.leeds.ac.uk/nbfas for more details. BMC 2006 has a web page at http://www.ncl.ac.uk/bmc06/ Please circulate the above address to anyone who may be interested in the BMC or ask them to email us at bmc06.ac.uk. Besides containing basic information about the conference, the page contains a form with which you can enter an email address and so be put on the mailing list. Since you have received this message, there is no need for you to do this. However you may have students or colleagues who would also like to be included, or you may accidentally remove yourself from the list. In these cases this form should be used. To register, book accommodation, apply to give a splinter group talk and/or participate in the postgraduate conference please use the web page http://www.mas.ncl.ac.uk/cgi-bin/nmad1/registration_form.cgi?id=OcxnbuxFNZjxrqvQtTRt This is unique to you and should be used only by you. Please bookmark it. You can update your registration form as often as you like until the end of March. It may be that you do not wish to receive any more email messages regarding this BMC or future BMC's. There is a way through the registration form at the URL given above of indicating this. Details on registration fees, payment deadlines, and so forth are contained in the registration form. The principal deadline is February 28th for University accommodation and reduced registration fees. As deadlines approach you will receive reminders of these if need be. The conference gratefully acknowledges the support of the London Mathematical Society, the Edinburgh Mathematical Society, the Engineering and Physical Sciences Research Council and the SAgE Faculty Research Committee of Newcastle University. We look forward to seeing you this April in Newcastle! The Organisers (Michael Dritschel, Andrew Duncan, Maxine Lennon, Zina Lykova, Graham Niblo, Jonathan Partington, Alina Vdovina and Michael White) (8) ------------------------------------------------------------- *** SECOND CALL FOR PAPERS *** 5th workshop on INFERENCE IN COMPUTATIONAL SEMANTICS ICoS-5 Buxton, England, 20-21 April 2006 http://www.cs.man.ac.uk/~ipratt/ICoS-5/ Submission deadline: 16 January 2006 Endorsed by SIGSEM, the Association for Computational Linguistics (ACL) Special Interest Group (SIG) on computational semantics. ------------------------------------------------------------- ABOUT ICOS ---------- Natural Language Processing has reached a stage where the exploration and development of inference is one of its most pressing tasks. On the theoretical side, it is clear that inference plays a key role in such areas as semantic construction and the management of discourse and dialogue. On the practical side, the use of sophisticated inference methods could lead to improvements in application areas such as natural language generation, automatic question answering, and spoken dialogue systems. ICoS-5 is intended to bring together researchers interested in inference-oriented NLP from areas such as Computational Linguistics, Artificial Intelligence, Computer Science, Formal Semantics, and Logic. We invite submissions addressing the theme of inference in computational semantics broadly construed. Subjects relevant to ICoS-5 include but are not restricted to: - natural language generation - natural language pragmatics - discourse and dialogue processing - (spoken) dialogue systems - underspecified representations - ambiguity resolution - interfacing lexical and computational semantics - lexically-driven inference - inference for shallow semantics - inference in question answering - recognising textual entailment - background knowledge: use and acquisition - applications of semantic resources (e.g. CYC, WordNet, FrameNet, PropBank, ontologies) - automatic ontology creation - common-sense reasoning in NLP - temporal and epistemic reasoning - resource-bounded inference - applications of automated reasoning (e.g. model building, model checking, theorem proving) - alternative inference strategies (e.g. abduction, nonmonotonic reasoning, default) - decidable fragments of natural language - controlled languages - natural language inference in decidable logics (e.g. description logic) - probabilistic and statistical approaches to inference - machine learning and inference - inference and information extraction and/or text mining - novel applications (e.g. semantic web) - evaluation methodologies and resources for inference - robustness and scalability of inference - system descriptions Submitted papers should not exceed 10 pages (A4, single column, 12 point font) including references. All submissions must be in PDF, and must be sent by email to email@example.com. SYSTEM DEMONSTRATIONS --------------------- We also encourage submission of papers describing systems that show aspects of inference in computational semantics. There will be a separate slot at the workshop where people can demonstrate their systems. System descriptions should follow the same submission guidelines as regular papers. IMPORTANT DATES --------------- Submission Deadline: January 16, 2006. Notification: February 20, 2006. Final Versions: March 20, 2006. Conference: April 20-21, 2006. INVITED SPEAKERS ---------------- Christian Ebert (University of Bielefeld) Patrick Pantel (ISI, University of Southern California) Stephen Pulman (Oxford University) PROGRAM COMMITTEE ----------------- Carlos Areces Peter Baumgartner Christoph Benzmueller Raffaella Bernardi Patrick Blackburn Johan Bos (co-chair) Harry Bunt Ann Copestake Dick Crouch Ido Dagan Kees van Deemter Nissim Francez Claire Gardent Alexander Koller (co-chair) Shalom Lappin Alex Lascarides Bernardo Magnini Katja Markert Dan Moldovan Jeff Pelletier Maarten de Rijke Michael Schiehlen Matthew Stone Bonnie Webber PUBLICATION ----------- As well as producing the workshop proceedings, we plan to publish a selection of accepted papers as a book or special issue of a journal.
Page maintained by E.Ritter@cs.bham.ac.uk
Last modified: Mon Jan 26 10:05:46 GMT 2006