Newsletter 99 June 24, 2005 ******************************************************************* * 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 FLoC 2006 - Call for Workshop Proposals CALCO 2005 - Call for Participation LPAR-12 - Call for Papers AVoCS '05 - Call for Short Presentations Overture Workshop - Call for Participation * BOOK ANNOUNCEMENT Linear Logic in Computer Science - Ehrhard, Girard, Ruet, and Scott, eds. * VACANCIES Assistant positions in software component technology, Zurich Positions in mathematical logic and applications, Freiburg THE 2006 FEDERATED LOGIC CONFERENCE (FLoC 2006) Seattle, Wash., USA, August 2006 http://research.microsoft.com/floc06/ Call For Workshop Proposals * The fourth Federated Logic Conference (FLoC'06), will be held in in August 2006, at the Seattle Sheraton. The following six conferences will participate in FLoC: - Conference on Computer-Aided Verification (CAV). - International Conference on Logic Programming (ICLP). - International Joint Conference on Automated Deduction (IJCAR). - IEEE Symposium on Logic in Computer Science (LICS). - Conference on Rewriting Techniques and Applications (RTA). - International Conference on Theory and Applications of Satisfiability Testing (SAT). * The organizers have made arrangements to facilitate the running of pre-, post-, and mid-FLoC workshops. Each workshop will have its own registration. It is not necessary to register for FLoC in order to attend workshops. Meeting rooms and accommodations have been reserved at the Seattle Sheraton. - Pre-FLoC workshops: Thurs. August 10 - Fri. August 11, 2006. - Mid-FLoC workshops: Tues. August 15 - Wed. August 16, 2006. - Post-FLoC workshops: Mon. August 21 - Tues. August 22, 2006. * Researchers and practitioners are invited to submit proposals for workshops on topics relating logic, broadly understood, applied to computer science. Each workshop proposal must indicate one sponsoring conference among the participating conferences. (It is suggested that prospective workshop organizers contact the conference program chair before submitting a proposal.) Workshops will have to be financially self-supporting, unless the sponsoring conference accepts financial responsibility. The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the sponsoring conferences and subject to the availability of space and facilities. * Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of a workshop. A second, organizational, part should include: - contact information about organizers - proposed format and agenda - procedures for selecting papers and participants - duration (which may vary from one day to three days) and preferred period. - proposed sponsoring conference * Additional organizational plans may include names of potential invited speakers, proposed demo sessions and tutorials, plans for proceedings or other publications, etc. * Proposals are due by July 31, 2005. Organizers will be notified by August 31, 2005. Proposals should be submitted either electronically, and should be addressed to the Program Chair of the sponsoring conference as well as to Gopal Gupta (Workshop Chair) Department of Computer Science University of Texas at Dallas Richardson, TX 75080 Email: firstname.lastname@example.org Phone: +1 972 883 4107 Fax: +1 972 883 2399 1ST CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2005) September 3-6, 2005, Swansea, Wales, UK http://www.cs.swan.ac.uk/calco/ Call for Participation * CALCO 2005 is an exciting new conference that brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. * Registration is open now on http://www.cs.swan.ac.uk/calco/registration.php The fee 180 GBP includes a volume of Springer's Lecture Notes in Computer Science with the proceedings. * CALCO-jnr: CALCO 2005 is preceded by a Young Researchers Workshop, dedicated to presentations by PhD students and people who completed their doctoral studies within the past few years, see http://www.cs.swan.ac.uk/calco-jnr/ * Invited Speakers: - Professor Samson Abramsky, Christopher Strachey Professor of Computing, University of Oxford, UK - Professor Gordon Plotkin, School of Informatics, University of Edinburgh, UK. - Professor Vladimiro Sassone, Professor of Informatics, University of Sussex, UK. * For more information see webpage 12th INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING ARTIFICIAL INTELLIGENCE AND REASONING (LPAR-12) 2nd-6th December 2005, Montego Bay, Jamaica http://www.lpar.net/2005 Final Call For Papers * LPAR-12 will be held 2nd-6th December 2005, at the Wexford Hotel, Montego Bay, Jamaica. Submission of papers for presentation at the conference is now invited. * Dates and Deadlines: - Submission of full paper abstracts 11th July - Submission of full papers 18th July - Submission of short papers 26th September * Full and short papers are welcome. Full papers may be either regular papers containing new results, or experimental papers describing implementations or evaluations of systems. Short papers may describe work in progress or provide system descriptions. Submitted papers must be original, and not submitted concurrently to a journal or another conference. * For more information see webpage 5TH INTERNATIONAL WORKSHOP ON AUTOMATED VERIFICATION OF CRITICAL SYSTEMS (AVoCS '05) University of Warwick, UK, 12-13 September 2005 Call for Short Presentations http://www.dcs.warwick.ac.uk/~avocs05 * Topics include: Specification and Refinement; Requirements Capture and Analysis; Model Checking: Theory, Tools and Applications; Abstract Interpretation; Theorem Proving; Software and Hardware Verification; Verification of Probabilistic and/or Real-Time Systems; Verification of Distributed Protocols including Security; Performance and Dependability Evaluation; Case Studies * The regular papers will be supplemented by a series of short presentations, for submission of which: - Abstract must be supplied in plain text format. - Short presentations will be accepted on a first-come, first-served basis. * Preliminary proceedings will be published by the University of Warwick and distributed at the workshop. This will include preliminary versions of regular papers, and abstracts of short presentations. After the workshop, authors of regular papers will have an option to prepare a final version for proceedings in Electronic Notes in Theoretical Computer Science (Elsevier), and to submit a full version for a special issue of a high-quality international journal. * 25 July: deadline for submission of short presentation abstracts * Programme committee: Dragan Boshnachki, Muffy Calder, Sadie Creese, Michael Goldsmith, Michael Gordon, John Harrison, Gerard Holzmann, Michael Huth, Antonin Kucera, Orna Kupferman, Marta Kwiatkowska, Ranko Lazic, Michael Leuschel, Rajagopal Nagarajan, David Nowak, Paritosh Pandya, Jakob Rehof, Markus Roggenbach, Bill Roscoe, Jim Woodcock OVERTURE WORKSHOP July 18, 2005, Newcastle upon Tyne, UK Co-located Workshop of Formal Methods 2005 http://www.csr.ncl.ac.uk/fm05/main_workshops.php?mode=info&language=english&workshop=14 Call for Participation * The mission of the Overture project is twofold: to provide an industrial-strength tool for VDM++ to allow the use of precise abstract models in software development, and to foster an environment that allows researchers and other interested parties to experiment with language modifications and extensions to the tool. The aim of the workshop is to reflect on 13 years of history with VDM++ and to boost the momentum that currently exists for the Overture project. * For more information see webpage BOOK ANNOUNCEMENT Linear Logic in Computer Science Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, and Philip Scott, editors Cambridge University Press, November 2004, ISBN 0-521-60857-0. 392 pages; 75 exercises; 150 figures; 50 worked examples. $70.00 * Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalization. These various aspects are illustrated here through introductory tutorials as well as more specialized contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project "Linear Logic in Computer Science". It is an excellent introduction to some of the most active research topics in the area. * Contents: Part I. Tutorials: 1. Category theory for linear logicians R. Blute and Ph. Scott; 2. Proof nets and the x-calculus S. Guerrini; 3. An overview of linear logic programming D. Miller; 4. Linearity and nonlinearity in distributed computation G. Winskel; 5. An axiomatic approach to structural rules for locative linear logic J. M. Andreoli; 6. An introduction to uniformity in ludics C. Faggian, M. R. Fleury-Donnadieu and M. Quatrini; 7. Slicing polarized addictive normalization O. Laurent and L. Toratora De Falco; 8. A topological correctness criterion for muliplicative noncommutative logic P.A. Mellies; 9. Bicategories in algebra and linguistics J. Lambek; 10. Between logic and quantic: a tract J. Y. Girard. * For ordering information, please visit http://www.cambridge.org/0521608570. ASSISTANT POSITIONS IN SOFTWARE COMPONENT TECHNOLOGY, ZURICH Department of Computer Science - ETH Zurich, Switzerland http://sct.inf.ethz.ch/jobs.html * The Software Component Technology group is recruiting one or two assistants (PhD students) to work on the European research project "Mobility, Ubiquity and Security: MOBIUS", aiming at developing the technology for establishing trust and security for the next generation of global computers, using the Proof Carrying Code paradigm. The project will start September 1, 2005. * For more information see webpage POSITIONS IN MATHEMATICAL LOGIC AND APPLICATIONS, FREIBURG http://gradlog.informatik.uni-freiburg.de/gradlog * Starting 1st October 2005, we announce the vacancy of scholarships for 1 Post-Doc Position and 2 Ph.D. Positions at the University of Freiburg, for interested people, having a Masters (M.Sc. or equivalent) or Ph.D. degree in the respective field or related. * Funding is provided for a duration of 2-3 years. The limit in age for Post-Doc applicants is 35 years, and 28 years for Ph.D. applicants, respectively. * The DFG-funded Graduate Program is led by Mathematics and Computer Science faculty. Major topics comprise applications of mathematical logics in Computer Science and Algebra: - Model Checking problems with particular focus on theory of database systems, artificial intelligence, and verification of hybrid systems. - Model theory of arithmetic structures and algebraic and geometrical methods in model theory. These fields of interest are represented by university professors Becker, Flum, Koenigsmann, Lausen, Nebel, Prestel, and Ziegler. * For further information see webpage
Back to the LICS web page.