Newsletter 90 January 22, 2004 ******************************************************************* * Past issues of the newsletter are available at http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html ******************************************************************* TABLE OF CONTENTS * CONFERENCES AND WORKSHOPS LICS 2004 - Final Call for Papers CSL 04 - Call for Papers ICDT 2005 - Call for Papers NMR 2004 - Call for Papers AIML 2004 - Call for Papers Workshop on Guarded Logics - Call for Papers Symposium on Categorial Grammars 2004 - Call for Papers WISP 2004 - Call for Papers LFM'04 - Call for Papers WRS'04 - CaLL for Papers * GRADUATE SCHOOLS Spring School on Concurrency Theory and Applications * VACANCIES Researcher/Senior Researcher, National ICT Australia 19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2004) (co-located with ICALP 2004) Turku, Finland, July 14-17, 2004 http://www.lfcs.informatics.ed.ac.uk/lics/ Final Call for Papers * The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. We invite submissions on that theme. Suggested, but not exclusive, topics of interest for submissions include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, proof 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, logical representation of knowledge, logics of programs, logic programming, modal and temporal logics, model checking, programming language semantics, reasoning about security, rewriting, specifications, type systems and type theory, and verification. * Authors are required to submit electronically a paper title and a short abstract of about 100 words before submitting the extended abstract of the paper. Titles & Short Abstracts Due : January 26, 2004 Extended Abstracts Due : February 2, 2004 Author Notification : March 27, 2004 Camera-ready Papers Due : April 25, 2004 All deadlines are firm; late submissions will not be considered. Detailed information about electronic paper submission is available at the LICS website. * LICS 2004 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 2004 submission site between March 27th and April 4th, 2004. Authors will be notified of acceptance or rejection by April 17th, 2004. * An award in honor of the late S.C. Kleene will be given for the best student paper, as judged by the program committee. For a submission to be eligible, the research presented in the paper must have been carried out while all authors were full-time students. The program committee may decline to make the award or may split it among several papers. * As in previous years, there will be a number of workshops affiliated with LICS 2004; information will be posted at the LICS website. * Program committee: Rajeev Alur, Andrew Appel, Albert Atserias, Franz Baader, Samuel Buss, Roberto Di Cosmo, Gilles Dowek, Harald Ganzinger (chair), Martin Hofmann, Achim Jung, Kim Larsen, Leonid Libkin, Rocco de Nicola, Damian Niwinski, Prakash Panangaden, Albert Rubio, Vitaly Shmatikov, Moshe Vardi, Helmut Veith, Andrei Voronkov * Invited speakers: LICS: S. Abramsky (O. Oxford), D. Sangiorgi (U. di Bologna), I. Walukiewicz (U. Bordeaux), Joint ICALP/LICS: R. Harper (Carnegie Mellon), A. Razborov (Princeton & Moscow), M. Yannakakis (Stanford). 13th ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR COMPUTER SCIENCE LOGIC (CSL 04) Karpacz, Poland, September 20-24, 2004 http://www.csl04.ii.uni.wroc.pl/ Call for Papers * Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. * The proceedings will be published in the Springer Lecture Notes in Computer Science. Papers accepted by the Programme Committee must be presented at the conference by one of the authors, and final copy prepared according to Springer's guidelines. * Submitted papers must describe work not previously published. They must not be submitted concurrently to another conference with refereed proceedings. Research that is already submitted to a journal may be submitted to CSL, provided that (a) the PC chair is notified in advance that this is the case, and (b) it is not scheduled for journal publication before the conference. Papers authored or coauthored by members of the Programme Committee are not allowed. * The submission deadline is in two stages. Titles and abstracts by April 3, 2004, Full papers by April 10, 2004. Notifications of acceptance will be sent by June 8, 2004, and final versions are due June 30, 2004. A submission server will be available from March 22, 2004. 10th INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2005) January 5-7, 2005, Edinburgh, Scotland http://www.cs.toronto.edu/db/icdt05/ Call for papers * Topics: Access methods and physical design; Active databases; Complexity and performance; Concurrency and recovery; Constraint databases; Data integration and interoperability; Data mining; Data models; Database programming languages; Database updates; Databases and information retrieval; Databases and workflow; Databases and the Semantic Web; Databases in e-commerce; Databases in e-services; Deductive databases and knowledge bases; Distributed databases; Integrity and security; Logic and databases; Multimedia databases; Object-oriented databases; Query languages; Query optimization; Query processing; Real-time databases; Semi-structured, XML, and Web data; Spatial data; Temporal data; Transaction management; Views and data warehousing. * The deadline for submissions is June 22, 2004. Authors will be notified of acceptance or rejection before September 22, 2004; accepted papers in a specified format for the proceedings will be due by October 20, 2004. * Best Newcomer Award: An award will be given to the best submission, as judged by the program committee, written solely by authors who have never published in earlier ICDT proceedings. * Program Co-Chairs: Thomas Eiter (Vienna), Leonid Libkin (Toronto). * Program Committee: Lars Arge, Catriel Beeri, Michael Benedikt, Leopoldo Bertossi, Nicole Bidoit, Giuseppe De Giacomo, Wenfei Fan, Nicola Leone, Jerzy Marcinkowski, Yossi Matias, Gultekin Ozsoyoglu, Rajeev Rastogi, Ken Ross, Thomas Schwentick, Kyuseok Shim, Eljas Soisalon-Soininen, Bernhard Thalheim, Jan Van den Bussche, Victor Vianu, Andrei Voronkov, Peter Widmayer. TENTH INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING (NMR 2004) (Co-located with KR2004, ICAPS 2004, and DL 2004) Delta Whistler Resort Hotel, Whistler BC, Canada, June 6-8, 2004 http://pims.math.ca/science/2004/NMR/ Call for Papers * The NMR workshop series is the premier specialised forum for researchers in nonmonotonic reasoning and related areas. This will be the 10th workshop in the series. Its aim is to bring together active researchers in the broad area of nonmonotonic reasoning, including belief revision, reasoning about actions, planning, logic programming, causality, probabilistic and possibilistic approaches to KR, and other related topics. Workshop activities include invited talks, tutorials, presentations of technical papers and special sessions. Although workshop fees have yet to be determined, the intent is to have no increase in fees for regular attendees, and a significant reduction in fees for graduate students. NMR 2004 will be composed of six specialised subworkshops: * Foundations of Nonmonotonic Reasoning * Computational Aspects of NonmonotonicReasoning * Action and Causality * Belief Change * Uncertainty Frameworks * Argument, Dialogue and Decision Information on the subworkshops may be accessed from the workshop home page. As part of the "Computational Aspects of NMR" subworkshop, there will be a session for demonstrations of implemented NMR systems. * Topics of Interest: NMR'04 welcomes the submission of papers broadly centred on issues and research in nonmonotonic reasoning. We welcome papers of either a theoretical or practical nature. Topics of interest include (but are not limited to): foundations of non-monotonic reasoning, belief revision and information fusion, reasoning and decision-making under uncertainty, answer set programming, belief updating and inconsistency handling, default reasoning, similarity-based reasoning, empirical studies of reasoning strategies, representing actions and planning, argument-based nonmonotonic logics, abductive reasoning, algorithms and implementations, nonmonotonic logics in multiagent interaction, including negotiation and dispute resolution. * Submission of Paper: Papers should be submitted to the program chair of the appropriate subworkshop; if it is not clear which subworkshop is most appropriate, please submit directly to the workshop Program Chairs. We strongly encourage electronic submission of papers; see the workshop web site for details. * Submission deadline: February 27, 2004. Notification: March 31 2004. * Program committee: Salem Benferhat (U Artois), Gerd Brewka (U Leipzig), James Delgrande (Simon Fraser U) (co-chair), Marc Denecker (U Leuven), Anthony Hunter (UC London), Tomi Janhunen (Helsinki U), Jerome Lang (IRIT, Toulouse), Maurice Pagnucco (U New South Wales), Odile Papini (U Toulon et du Var), Henri Prade (IRIT, Toulouse), Torsten Schaub (U Potsdam) (co-chair), Tran Cao Son (New Mexico State U), Michael Thielscher (TU Dresden), Mirek Truszczynski (U Kentucky). ADVANCES IN MODAL LOGIC (AIML'2004) Second call for papers Manchester, UK, September 9-11, 2004, http://www.cs.man.ac.uk/aiml04/ * 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-2004 is the fifth conference organized as part of this initiative. * Special session: "Modal Logics for Knowledge and Action". * Invited speakers: Philippe Balbiani (Toulouse), Keith Devlin (Stanford) , Valentin Goranko (Johannesburg), Wiebe van der Hoek (Liverpool), Maarten Marx (Amsterdam), Robert Stalnaker (MIT). * Paper submission: Authors are invited to submit a detailed abstract of a full paper of at most 10 pages (a4paper, 11pt). See website for further details. * Submission deadline: April 15, 2004 * Publication details: Preliminary versions of the full papers will be made available at the meeting. Authors will be invited to submit a full version, which will again be refereed. The selected papers will be included in the formal proceedings to be published by King's College Publications. WORKSHOP ON GUARDED LOGICS: PROOF TECHNIQUES AND APPLICATIONS 9-13 August 2004, Nancy, France organized as part of ESSLLI 2004 http://esslli2004.loria.fr/ Call for papers * It's been almost ten years since Andreka, van Benthem and Nemeti proved decidability of the guarded fragment of first order logic. Given how natural and expressive guarded quantification is, this result gave logicians a powerful tool of proving decidability of many formalisms arising in computer science applications, and generated much research into extensions of the guarded fragment to fixed point logic, transitive guards etc. A wealth of new proof techniques developed as a result. The workshop intends to bring this research together for the benefit of advanced logic and computer science PhD students interested in the area, and use a mixture of invited and contributed talks to cover both the new proof techniques and the relevance of guarded quantification for applications of logic in computer science. * Authors are invited to submit a full paper either describing their published work (which should be instructive and interesting to PhD students working in the field and appropriate for presentation at the Summer School), or new and unpublished work. Submissions should not exceed 20 pages. The following formats are accepted: pdf, ps. Please send your submission electronically to nza at cs.nott.ac.uk. The submissions will be reviewed by the workshop's programme committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. It is likely that a selection of (revised and expanded) versions of the workshop papers will appear in a special issue of the Journal of Logic, Language and Information. * The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consequtive days in the first week of ESSLLI. There will be 2 slots for paper presentation and discussion per session. On the first day the workshop organizer will give an introduction to the topic. * Workshop programme committee Natasha Alechina (University of Nottingham), Johan van Benthem (University of Amsterdam), Erich Graedel (Aachen University), Maarten Marx (University of Amsterdam), Hans de Nivelle (Max Planck Institut fur Informatik, Saarbruecken), Martin Otto (Darmstadt University of Technology), Ulrike Sattler (University of Manchester). * Important dates Submissions: March 5, 2004 Notification: April 19, 2004 ESSLLI early registration: May 1, 2004 Preliminary programme: April 23, 2004 Final papers for proceedings: May 15, 2004 Final programme: June 25, 2004 Workshop dates: August 9 - 13, 2004 * Local arrangements All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be available by the OC on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs and accomodation. Workshop speakers who have difficulty in finding funding should contact the local organising committee to ask for the possibilities for a grant. SYMPOSIUM ON CATEGORIAL GRAMMARS 2004 - AN EFFICIENT TOOL FOR NATURAL LANGUAGE PROCESSING Call for papers Montpellier, France 7-11 June 2004 http://www.lirmm.fr/CG2004/ * Theme: Categorial grammars, type grammars and pregroups are formal structures for deciding whether a string of words is a grammatical sentence. They assign one or more types to each word in the dictionary. One solves the problem whether a sequence of words is a grammatical sentence, by performing computations on the corresponding string(s) of types. This makes it possible to characterise the syntactic properties of natural languages entirely in terms of their lexical types and prove general properties, independent of the actual language fragment. These grammars are related to other mathematical approaches like intuitionist, classical and compact bilinear logic, non-symmetric *-autonomous categories, Montague semantics and Chomsky's minimalist programme. Some of these methods have matured to highly efficient tools for syntactical analysis. * Previous meetings were held in Tucson, Rome, Nancy, Nantes, Trento and Ottawa. This symposium will cover new theoretical results and applications to natural languages. Contributions covering algorithmic problems arising during syntactical analysis of language fragments are also welcome. * All submissions must be done electronically. Please email your submission to email@example.com * Submission Deadline : February 27, 2004 * Program committee: Wojciech Buszkowski (Univ of Poznan, Poland), Claudia Casadio(Univ. of Chieti, Italy), Dov Gabbay(King's College London, UK), Michael Moortgat (Univ. of Urecht, The Netherlands), Christian Retor (Univ. of Bordeaux I, France), Edward Stabler (UCLA, USA), Mark Steedman (Univ. of Edinburgh, UK) WISP 2004 - 2ND INTERNATIONAL WORKSHOP ON SECURITY ISSUES WITH PETRI NETS AND OTHER COMPUTATIONAL MODELS 26 June 2004, Bologna (Italy) Preliminary Call for Papers http://www.iit.cnr.it/staff/fabio.martinelli/WISP2004cfp.htm * The 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP2004) aims at promoting research about theoretical foundations of security analysis and design with formal methods and languages. WISP2004 starts from the positive experience with WISP2003, held in Eindhoven within the 24th International Conference on Application and Theory of Petri Nets (ICATPN'03). WISP2004 is co-located and will be held just after the 25th International Conference on Application and Theory of Petri Nets (ICATPN'04). Hence, original papers on the application of Petri Nets for security issues are particularly welcome. Also papers on security in other system models are sought as well. * Deadline 02 April 2004 * For more details see website FOURTH INTERNATIONAL WORKSHOP ON LOGICAL FRAMEWORKS AND META-LANGUAGES (LFM'04) An IJCAR'04 affiliated workshop Cork, Ireland, July 04-08, 2004 http://www.cs.yale.edu/~carsten/lfm04 * Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation has been the focus of considerable research over the last two decades, using competing and sometimes incompatible basic principles. This workshop will bring together designers, implementors, and practitioners to discuss all aspects of logical frameworks. * Submission deadline: Mon, Apr 12, 2004 * For more details see webpage FOURTH INTERNATIONAL WORKSHOP ON REDUCTION STRATEGIES IN REWRITING AND PROGRAMMING (WRS'04) June 2, 2003, Aachen, Germany, http://www-i2.informatik.rwth-aachen.de/WRS04/ in conjunction with RDP'04 * Papers are solicited on all aspects of reduction strategies in rewriting and programming. Submissions should describe unpublished work, except for survey papers which are explicitly welcome, too. * Submission deadline: March 17, 2004 * For more details see webpage 32ND SPRING SCHOOL ON THEORETICAL COMPUTER SCIENCE Concurrency theory and applications April 26-30, 2004, Campus de Luminy, Marseille, France http://www.cmi.univ-mrs.fr/epit32 * The Spring School on Theoretical Informatics is an institution in the domain of theoretical informatics in France. For many years, the school has developed under the guidance of Maurice Nivat, covering a large spectrum of topics and establishing as an excellent meeting point for the new generations of researchers. In the last years, the school has acquired a european dimension attracting scholars from several countries. In 2004, the school will focus on Concurrency Theory and Applications. This area has been developing in the last forty years starting from works in formal languages, programming, mathematical logic, and control theory. Nowadays, the theory proceeds along a certain number of avenues such as net theory, process calculi, and modal logics. Many specialised or enriched models have been developed in order to cover a variety of applications such as synchronous, real time, and distributed systems. * For more details see website RESEARCH VACANCY Researcher/Senior Researcher Formal Methods for Computer Security National ICT Australia Formal Methods Program * For details see full advertisement under Positions Vacant at http://nicta.com.au * Enquiries to A/Prof. Ron van der Meyden (firstname.lastname@example.org)
Back to the LICS web page.