Newsletter 105
July 21, 2006


*******************************************************************
* Past issues of the newsletter are available at
  http://www.informatik.hu-berlin.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
  can be found at
  http://www.informatik.hu-berlin.de/lics/newsletters/inst.html
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to lics@informatik.hu-berlin.de
*******************************************************************


TABLE OF CONTENTS
* VACANCIES
    University of Edinburgh - Three Research Positions
* AWARDS
    E.W. Beth Dissertation Prize - Call for Nominations
    2006 Ackermann Award of the EACSL - Award Winners
* JOURNAL ANNOUNCEMENT
    Journal of Mathematical Cryptology
* CONFERENCES AND WORKSHOPS
    FLoC 2006 - Call for Participation
    ACL2 2006 - Call for Participation
    ICLP 2006 - Call for Participation
    RelMiCS/AKA 2006 - Call for Participation
    Symposium for Gordon Plotkin - Call for Participation
    WS-FM 2006 - Call for Participation
    JELIA 2006 - Call for Participation
    TGC 2006 - Call for Papers
    STACS 2007 - Call for Papers
    FSEN 2007 - Call for Papers
    Logic, Computability and Randomness 2007 - Call for Papers
    CALCO 2007 - Call for Papers



VACANCIES: UNIVERSITY OF EDINBURGH - THREE RESEARCH POSITIONS
  http://www.jobs.ed.ac.uk/vacancies/index.cfm?fuseaction=vacancies.detail&vacancy_ref=3006150
* The Database Group at the University of Edinburgh, led by Peter
  Buneman, Wenfei Fan and Leonid Libkin, is recruiting
  post-doctoral researchers in connection with a recently-funded
  grant in data exchange and data integration, an established
  grant researching XML/database security, and the UK Digital
  Curation Centre, which also sponsors new areas of database
  research.  While the positions are primarily open to database
  researchers with a promising publication record, all applicants
  with a strong background in computer science will be
  considered. Skills in theory, algorithms and systems building
  are particularly valuable.
* Potential research topics include Data exchange and
  integration, Logic and automata in databases, Security in XML
  and databases, Data provenance, Expressive power and complexity
  of query languages, Stream database systems, Publishing and
  transformations, Scientific databases.  There are ample travel
  and equipment funds to support this research.



E.W. BETH DISSERTATION PRIZE: CALL FOR NOMINATIONS
  Since 2002, FoLLI (the European Association for Logic, Language, and
  Information, www.folli.org) awards the E. W. Beth Dissertation Prize to
  outstanding dissertations in the fields of Logic, Language, and
  Information.
* Submissions are invited for 2005. The prize will be awarded
  to the best dissertation which resulted in a Ph.D. in the year 2005. The
  dissertations will be judged on technical depth and strength,
  originality, and impact made in at least two of the three fields of
  Logic, Language, and Computation.
* Who qualifies:
  Nominations of candidates are admitted who were awarded a Ph.D. degree
  in the areas of Logic, Language, or Information between January 1st,
  2005 and December 31st, 2005. There is no restriction on the nationality
  of the candidate or the university where the Ph.D. was granted. After a
  careful consideration, FoLLI has decided to accept only dissertations
  written in English. Dissertations produced in 2005 but not written in
  English or not translated will be allowed for submission, after
  translation, also with the call next year (for 2006).
* The prize consists of
  * a certificate
  * a donation of 2500 euros provided by the E. W. Beth Foundation.
  * an invitation to submit the thesis (or a revised version of it) to the
  new series of books in Logic, Language and Information to be published
  by Springer-Verlag as part of LNCS or LNCS/LNAI. (Further information on
  this series is available on the FoLLI site)
* How to submit: Only electronic submissions are accepted.
  The following documents are required:
   1. the thesis in pdf or ps format (doc/rtf not accepted);
   2. a ten page abstract of the dissertation in ascii or pdf format;
   3. a letter of nomination from the thesis supervisor.
      Self-nominations are not admitted: each nomination must be sponsored by
      the thesis supervisor. The letter of nomination should concisely
      describe the scope and significance of the dissertation and state when
      the degree was officially awarded;
   4. two additional letters of support, including at least one letter
      from a referee not affiliated with the academic institution that awarded
      the Ph.D. degree.
* All documents must be submitted electronically to
  beth_award@dimi.uniud.it
  Hard copy submissions are not admitted.
* In case of any problems with the email submission or a lack of
  notification within three working days after submission, nominators
  should write to policriti@dimi.uniud.it or areces@loria.fr
* Important dates
  Deadline for Submissions: July 31, 2006.
  Notification of Decision: November 15, 2006.
* Committee:
  Anne Abeillé (Université Paris 7),
  Johan van Benthem (University of Amsterdam),
  Nissim Francez (The Technion, Haifa),
  Valentin Goranko (University of the Witwatersrand, Johannesburg),
  Alessandro Lenci (University of Pisa),
  Ewa Orlowska (Institute of Telecommunications, Poland),
  Gerald Penn (University of Toronto),
  Alberto Policriti (chair) (Università di Udine),
  Rob van der Sandt (University of Nijmegen),
  Wolfgang Thomas (RWTH Aachen)



2006 ACKERMANN AWARD OF THE EACSL
  The Jury of the Ackermann Award has
  decided to give the 2006 Ackermann Awards to
  * Balder ten Cate
    Amsterdam University (Advisor: Johan van Benthem)
    http://staff.science.uva.nl/~bcate/
    Thesis: Model Theory for Extended Modal Languages
  * Stefan Milius
    TU Braunschweig (Advisor: Jiri Adamek)
    http://www.iti.cs.tu-bs.de/~milius/
    Thesis: Coalgebras, Monads and Semantics
  I would like to congratulate the recipients and their
  supervisors for their excellent theses.
* The Jury consisted of
  S. Abramsky, B. Courcelle, E. Graedel,
  M. Hyland, J. Makowsky, D. Niwinski, A. Razborov.
* The Award Ceremony will take place during the CSL'06 Conference.
  http://www.inf.u-szeged.hu/~csl06/
* A detailed report will be published in the CSL'06 Proceedings.
  I would like to thank all the Jury members for their work.
* J.A. Makowsky, President of EACSL and chairman of the Jury
  http://www.cs.technion.ac.il/~janos
* EACSL WEB-pages:
  http://www.dimi.uniud.it/~eacsl/
  http://www.cs.technion.ac.il/eacsl/
  http://www.cs.technion.ac.il/eacsl/ackermann/



JOURNAL ANNOUNCEMENT & CALL FOR PAPERS: JOURNAL OF MATHEMATICAL CRYPTOLOGY
  Starting in 2007 with 4 issues/year, Walter de Gruyter will
  publish a new high-quality journal devoted to interactions
  between Cryptology and Mathematics: Journal of Mathematical Cryptology
* Aims and Scope:
  The Journal of Mathematical Cryptology (JMC) is a forum for
  original research articles in the area of mathematical
  cryptology. As such, work in the theory of cryptology and
  articles linking mathematics with cryptology are welcome.
  Cryptologically significant submissions from all areas of
  mathematics are equally welcome, including but not limited
  to, algebra, algebraic geometry, coding theory,
  combinatorics, number theory, probability and stochastic
  processes. In particular, the scope includes mathematical
  results of algorithmic or computational nature that are of
  interest to cryptology. While JMC does not cover
  information security as a whole, the submission of
  manuscripts on information security with a strong
  mathematical emphasis is explicitly encouraged.
* Editorial board:
  Simon Blackburn, Ernie Brickell, Mike Burmester,
  Ronald Cramer, Ed Dawson, Gerhard Frey, Robert Gilman,
  Otokar Grosek, Hideki Imai, Kwangjo Kim, Neal Koblitz,
  Kaoru Kurosawa, Spyros Magliveras, Alfred Menezes,
  Ron Mullin, Phong Nguyen, Birgit Pfitzmann, Josef Pieprzyk,
  Rei Safavi-Naini, Rainer Steinwandt, Doug Stinson,
  Tran van Trung, Wandi Wei, Hugh Williams, Moti Yung
* Information on subscription & manuscript submission:
  http://www.degruyter.de/rs/278_8316_ENU_h.htm



FLOC 2006 - CALL FOR PARTICIPATION
  The 2006 Federated Logic Conference, Seattle, Washington, USA
  August 10 -- August 22, 2006
  http://www.easychair.org/FLoC-06/
* We are pleased to announce the fourth Federated Logic Conference
  (FLoC'06) to be held in Seattle, Washington, in August 2006, at the
  Seattle Sheraton (http://www.easychair.org/FLoC-06/floc-hotel.html).
* FLoC'06 promises to be the premier scientific meeting in computational
  logic in 2006.  The following conferences will participate in FLoC'06:
    CAV     Conference on Computer Aided Verification (Aug 17-20)
    ICLP    Int'l Conference on Logic Programming (Aug 17-20)
    IJCAR   Int'l Joint Conference on Automated Reasoning (Aug 17-20)
    LICS    IEEE Symposium on Logic in Computer Science (Aug 12-15)
    RTA     Conference on Rewriting Techniques and Applications (Aug 12-14)
    SAT     Int'l Conference on Theory and Applications of
          Satisfiability Testing (Aug 12-15)
* The six major conferences will be accompanied by 41 workshops, held on
  Aug. 10-11, 15-16, and 21-22.
* The FLoC'06 program includes a keynote session to commemorate the Goedel
  Centenary, with John Dawson and Dana Scott as speakers, a keynote talk
  by David Harel, plenary talks by Randy Bryant and David Dill, and
  invited talks by F. Bacchus, A. Blass, B. Buchberger, A. Darwiche, M.
  Das, J. Esparza, J. Giesl, A. Gordon, T. Hoare, O. Kupferman, M. Lam, D.
  Miller, K. Sakallah, J. Stoy, and C. Welty.
* Seattle, the Emerald city, sits on the shores of Puget Sound surrounded
  by mountains to the east and west.  Lovely views of blue waters and snow
  capped peaks seem to appear everywhere - around the next bend in the
  road or between the buildings downtown. Seattle is the gateway to the
  Pacific Northwest, a premier tourist attraction.
  In Seattle, Mt. Rainier enchants visitors; in Vancouver, British
  Columbia, the Coast Range juts out over downtown; and in Portland, 5,000
  acres of forestland north of the city center harbor deer, elk, and the
  odd bear and cougar.
* Online registration for FLoC is now open at:
  http://www.easychair.org/FLoC-06/
* The rates agreed upon between FLoC and the Seattle Sheraton are
  very reasonable rates for a first-class hotel in downtown
  Seattle during the summer vacation season. To reduce conference
  costs and keep registration fees reasonable, FLoC is
  contractually obligated to meet a commitment for a certain
  number of FloC attendees staying in the conference hotel. FLoC
  attendees are strongly encouraged to use the Seattle Sheraton for
  conference accommodation.  Deadline for preferred hotel rate is
  July 21, 2006.
* FLoC'06 Steering Committee
    Moshe Y. Vardi      (General Chair)
    Thomas Ball         (Conference Co-Chair)
    Jakob Rehof         (Conference Co-Chair)
    Edmund Clarke       (CAV)
    Reiner Hahnle       (IJCAR)
    Manuel Hermenegildo (ICLP)
    Phokion Kolaitis    (LICS)
    Henry Kautz         (SAT)
    Aart Middeldorp     (RTA)
    Andrei Voronkov     (IJCAR)



ACL2 2006 - CALL FOR PARTICIPATION
  International Workshop on the ACL2 Theorem Prover and its Applications
  In-cooperation with ACM SIGPLAN and ACM SIGSOFT
  http://www.cc.gatech.edu/~manolios/acl206
* August 15-16, 2006 in Seattle, Washington
  Part of FLoC 2006 (http://research.microsoft.com/floc06/)
  Hosted by CAV 2006 and IJCAR 2006
* Important dates:
    Early Registration  Deadline:      July 10, 2006
    Regular Registration Deadline:    August 1, 2006
    Hotel Registraion Deadline:        July 21, 2006
* ACL2 2006 is the major technical forum for users of the ACL2 theorem
  proving system and is the sixth in a series of workshops that occur
  every 18 months. ACL2 is an industrial-strength automated reasoning
  system that is part of the Boyer-Moore family of theorem provers,
  winner of the 2005 ACM Software System Award.
* Invited Talk:
    Tony Hoare (Microsoft Research) on "The Ideal of Verified Software"
* Panel:
  David Hardin, Tony Hoare, Gerard Holzmann, J Strother Moore, ...
  Grand Challenge Problems for the ACL2 Community
* Organization
    Chairs:       Panagiotis Manolios, Georgia Institute of Technology
                  Matthew Wilding, Rockwell Collins Inc.
    Publications: Ruben Gamboa, University of Wyoming
    Webmasters:   Sudarshan Srinivasan, Georgia Tech
                  Daron Vroon, Georgia Tech
* Program Committee:
    Ruben Gamboa, University of Wyoming, USA
    David Greve, Rockwell Collins Inc., USA
    Warren Hunt, University of Texas at Austin, USA
    Deepak Kapur, University of New Mexico, USA
    Matt Kaufmann, University of Texas at Austin, USA
    Bill Legato, NSA, USA
    Panagiotis Manolios, Georgia Institute of Technology, USA
    Jose Meseguer, University of Illinois at Urbana-Champaign, USA
    Paul Miner, NASA Langley Research Center, USA
    J Strother Moore, University of Texas at Austin, USA
    Lawrence C. Paulson, University of Cambridge, UK
    Jose Luis Ruiz-Reina, University of Seville, Spain
    David M. Russinoff, Advanced Micro Devices, Inc., USA
    Jun Sawada, IBM Austin Research Laboratory, USA
    Mary Sheeran,  Chalmers University of Technology, Sweden
    Konrad Slind,  University of Utah, USA
    Matthew Wilding, Rockwell Collins Inc., USA



ICLP 2006 - CALL FOR PARTICIPATION
  22nd International Conference on Logic Programming
* August 17-20, 2006 in Seattle, Washington
  Part of FLoC 2006 (http://research.microsoft.com/floc06/)
* The ICLP'06 program includes a keynote talk by David Harel, plenary
  talks by David Dill (both general FLoC'06 events), and invited talks by
  Monica Lam and Chris Welty. The technical program will also include
  27 regular presentations, 17 poster presentations and the traditional
  Prolog programming contest.
* Online registration for ICLP/FLoC is now open at:
  http://www.easychair.org/FLoC-06/
* The registration page offers an opportunity for ICLP 2006 participants
  to provide a voluntary contribution of $50 to the Association for Logic
  Programming (ALP). We encourage every participant to consider contributing
  to the ALP.



RELMICS/AKA 2006 - CALL FOR PARTICIPATION
  Joint 9th International Conference on Relational Methods In Computer Science
  and 4th International Workshop of Applications of Kleene Algebra
* 29 August - 2 September 2006, Manchester, UK
* www.cs.man.ac.uk/relmics06/
* The RelMiCS Conference is the main forum for the relational
  calculus as a conceptual and methodological tool.  The AKA
  Workshop is a meeting on topics related to Kleene algebras. As in
  previous years, the two events are co-organised; they have a
  joint programme committee and joint proceedings.
* Important Deadlines:
  - Early Registration: 3 July 2006
  - Registration: 7 August 2006
* Programme:
  The conference features 3 invited talks and 24 contributed papers.
  The full programme is available at the conference website.
  Invited Talks:
  - Ernie Cohen (Microsoft)
  - Roger Maddux (Iowa State University)
  - Jeff Sanders (Oxford)
* Registration:
  Registration and conference information, including travel and
  accommodation, is now available at the conference website.
  The registration website can be found directly at
  www.cs.manchester.ac.uk/ACSO/RelMiCS/registration1.php
* The early registration deadline is July 3. Registration ends
  August 7. After that, registration will be on-site at the
  conference location.
* Grants: There is a small number of grants for students and
  participants from economically less well off countries.
  Please refer to the conference website for details.
* Co-Located Events: A PhD-training programme on Relational Methods
  and Kleene Algebra in Computer Science will take place on August 28.
  It includes tutorials by John Derrick (Sheffield) and Peter
  Jipsen (Chapman University). Participation is open for everyone.
  More details can be found at the conference website.
* General Chair:
    Renate Schmidt, Manchester, UK, schmidt@cs.man.ac.uk
*  Programme Committee:
    Roland Backhouse, Nottingham, UK, Brandon Bennett, Leeds, UK,
    Rudolf Berghammer, Kiel, Germany, Stephane Demri, Cachan, France
    Jules Desharnais, Laval, Canada, Zoltan Esik, Szeged, Hungary & Tarragona, Spain
    Marcello Frias, Buenos Aires, Argentina, Hitoshi Furusawa, AIST, Japan
    Stephane Gaubert, INRIA, France, Steven Givant, Mills College, USA
    Valentin Goranko, Witwatersrand, South Africa, Martin Henson, Essex, UK
    Ali Jaoua, Quatar, Peter Jipsen, Chapman University, USA
    Wolfram Kahl, McMaster, Canada, Yasuo Kawahara, Kyushu, Japan
    Zhiming Liu, UNU-IIST Macao, China, Bernhard Moeller, Augsburg, Germany
    Damian Niwinski, Warsaw, Poland, Ewa Orlowska, Warsaw, Poland
    Alban Ponse, Amsterdam, The Netherlands, Ingrid Rewitzky, Stellenbosch, South Africa
    Ildiko Sain, Hungarian Academy of Sciences, Holger Schlingloff, Berlin, Germany
    Gunther Schmidt, Muenchen, Germany, Renate Schmidt, Manchester, UK
    Giuseppe Scollo, Catania, Italy, Georg Struth, Sheffield, UK (PC Chair)
    Harrie de Swart, Tilburg, The Netherlands, Michael Winter, St.Catharines, Canada



SYMPOSIUM FOR GORDON PLOTKIN
  A symposium to celebrate the 60th birthday of Gordon Plotkin
  Call for Participation
  Edinburgh, 7-8 September, 2006
  http://www.lfcs.ed.ac.uk/events/plotkin-symposium/
* Programme: Two days of invited talks on 7th and 8th September, with a
  banquet on the evening of Thursday 7th September.
* Invited speakers: Martin Abadi (UC Santa Cruz); Samson Abramsky
  (University of Oxford); Rod Burstall (University of Edinburgh,
  Emeritus); Luca Cardelli (Microsoft Research, Cambridge); Marcelo
  Fiore  (University of Cambridge); Philippa Gardner (Imperial College);
  Matthew Hennessy (University of Sussex); Robin Milner (Univerity of
  Cambridge, Emeritus); Eugenio Moggi (Universita` di Genova);  John
  Power (University of Edinburgh); David Pym (Hewlett-Packard
  Laboratories, Bristol); Dana Scott (Carnegie Mellon University,
  Emeritus); Colin Stirling (University of Edinburgh); Glynn Winskel
  (University of Cambridge).
* Support for PhD Students: Financial assistance is available for
  UK-based PhD students who wish to attend the symposium. This will  be
  issued on a first-come first-served basis.
* Registration: is now open. For more information see webpage.



WS-FM 2006 - CALL FOR PARTICIPATION
  3rd International Workshop on Web Services and Formal Methods
  8-9 September 2006, Vienna, Austria
  http://cs.unibo.it/ws-fm06
* Official event of "The Process Modelling Group"
  http://www.process-modelling-group.org
* Co-located with BPM 2006, 4th International Conference on Business
  Process Management, http://bpm2006.tuwien.ac.at
* Early registration deadline: July 31st
* The aim of the workshop is to bring together researchers working on Web
  Services and Formal Methods in order to facilitate fruitful
  collaboration in this direction of research. This, potentially, could
  also have a great impact on the current standardization phase of Web
  Service technologies.
* The topics of interest include, but are not limited to:
   - Protocols and standards for WS (SOAP, WSDL, UDDI, etc... )
   - Languages and description methodologies for
     Coreography/Orchestration/Workflow
     (BPML, XLANG and BizTalk, WSFL, WS-BPEL, WS-CDL, YAWL, etc... )
   - Coordination techniques for WS
     (transactions, agreement, coordination services, etc...)
   - Semantics-based dynamic WS discovery services
     (based on Semantic Web/Ontology techniques or other semantic
     theories)
   - Security, Performance Evaluation and Quality of Service of WS
   - Semi-structured data and XML related technologies
* Invited Talks:
  - Wil van der Aalst, Eindhoven University of Technology, The Netherlands
  - Roberto Bruni, University of Pisa, Italy
  - Schahram Dustdar, Wien University of Technology, Austria
* Program Committee Co-Chairs:
  - Mario Bravetti         University of Bologna, Italy
  - Gianluigi Zavattaro    University of Bologna, Italy
* Detailed information can be found on the webpage
  http://cs.unibo.it/ws-fm06



JELIA 2006 - CALL FOR PARTICIPATION
  European Conference on Logics in AI
  Liverpool, 13 - 15 September, 2006
* The registration for JELIA'06 is now open:
  http://www.csc.liv.ac.uk/~jelia06
* JELIA this year accepted 34 papers, 12 system demonstrations, and attracted
  3 well-known invited speakers:
  - Saso Dzeroski (Ljubljana)
  - Illka Niemela (Helsinki)
  - Andrei Voronkov (Manchester)
* On top of this, we have a grant scheme for students in place!
* Registration is open until 14th of August, and the fee includes a copy of
  the proceedings, conference dinner, social excursion and lunches.



TGC 2006 - CALL FOR PAPERS
  2006 International Symposium on "Trustworthy Global Computing"
  http://www.imtlucca.it/tgc2006
  IMT, Lucca, November 7-9, 2006
* co-located with the cluster review of
  IST-FET Global Computing II proactive initiative
* Important Dates:
  Registration and submission of title and abstract (hard): July 31, 2006
  Paper submissions (hard): August 4, 2006
  Notification to authors:  September 16, 2006
  Final version due:        October 13, 2006
  Conference:               November 7-9, 2006
* Scope:
  In 2005, the FET-IST Programme of the European Union launched three
  Integrated Projects dedicated to these themes within the Global Computing
  II proactive initiative. These projects are now due to be reviewed after
  their first year of activity. This symposium will be devoted to presenting
  and discussing recent progress in trustworthy global computing within these
  projects and beyond. We are looking for papers dealing with the following
  issues (the list should not be considered exhaustive):
  - theories, models and algorithms for global computing
    and service oriented computing
  - language-based security, theories of trust and authentication
  - secure protocol composition
  - security through verifiable evidence
  - game-theoretic approaches to selfishness and security
  - resource usage and information flow policies
  - privacy, reliability and business integrity
  - access control and mechanisms for enforcement
  - models of interaction and dynamic components management
  - sharing information and computation
  - self configuration and adaptiveness
  - efficient communication
  - verification of cryptographic protocols
  - language concepts and abstraction mechanisms
  - test generators, symbolic interpreters, type checkers
  - finite state model checkers, theorem provers
  - software principles to support debugging and verification
* Program Chairs:
  - Ugo Montanari, Dipartimento di Informatica,
    University of Pisa, ugo@di.unipi.it
  - Don Sannella, Laboratory for Foundations of Computer Science,
    University of Edinburgh, dts@inf.ed.ac.uk
* Detailed information can be found on the webpage
  http://www.imtlucca.it/tgc2006



STACS 2007 - CALL FOR PAPERS
  24th Symposium on Theoretical Aspects of Computer Science
  February 22 - February 24, 2007
  Aachen, Germany
  http://www.cs.rwth-aachen.de/stacs07
* Authors are invited to submit papers presenting original and
  unpublished research on theoretical aspects of computer science.
  Typical areas include (but are not limited to):
  - Algorithms and data structures, including: parallel and
    distributed algorithms, computational geometry, cryptography,
    algorithmic learning theory
  - Automata and formal languages
  - Computational and structural complexity
  - Logic in computer science, including: semantics, specification,
    and verification of programs, rewriting and deduction
  - Current challenges, for example: biological computing, quantum
    computing, mobile and net computing
* Program Committee: E. Asarin (Paris), C. Bazgan (Paris), M.P. Béal
  (Marne la Vallee), G. Brodal (Aarhus), R. Fleischer (Shanghai),
  H. Fernau (Tübingen), R. Gavaldà (Barcelona), J. Giesen (Zürich),
  E. Hemaspaandra (Rochester), M. Hofmann (München), S. Laplante
  (Orsay), R. Raman (Leicester), R. Ramanujam (Chennai), C. Scheideler
  (München), A. Srivastav (Kiel), W. Thomas (Aachen, co-chair),
  P. Weil (Bordeaux, co-chair)
* Deadline for Submission: September 17, 2006
  Notification of Acceptance: November 22, 2006



FSEN 2007 - CALL FOR PAPERS
  Second International Symposium on Fundamentals of Software Engineering 2007
  Theory and Practice
  http://cs.ipm.ac.ir/FSEN07
  Tehran, Iran, April 17-19 2007
* FSEN is an international symposium aiming to bring together researchers,
  engineers, developers and practitioners from universities and industry
  working in every area of formal methods. This symposium seeks to
  facilitate the transfer of experience, adaptation of methods, and where
  possible, collaboration between different groups.
  The topics may cover any aspect in formal methods, especially those
  related to advancing the application of formal methods in software
  industry and promoting their integration with practical engineering
  techniques. Following the success of the previous FSEN in 2005 a next symposium
  will be held in  April 2007.
* In Cooperation with ACM SIGSOFT, IFIP
* Important Dates:
  Abstract Submission:   October 20 , 2006
  Paper Submission:      October 27 , 2006
  Notification:          December 15, 2006
* Topics of Interest include, but are not restricted to, the following:
  - Models of programs and systems
  - Software specification, validation and verification
  - Software architectures and their description languages
  - Object and multi-agent systems
  - Coordination and feature interaction
  - Integration of formal and informal methods
  - Integration of different formal methods
  - Component-based development
  - Service-oriented development
  - Model checking and theorem proving
  - Software and hardware verification
  - CASE tools and tool integration
  - Application to industrial cases
* General Chairs:
  - Ali Movaghar, Sharif University of Technology, Iran,
    IPM, Iran
  - Jan Rutten, Centre for Mathematics and Computer Science (CWI)
    Vrije Universiteit, The Netherlands
* PC Chairs:
  - Farhad Arbab
    CWI, Netherlands
    Leiden University, Netherlands, University of Waterloo, Canada
  - Marjan Sirjani, Tehran University, Iran, IPM, Iran
* Program Committee:
  Gul Agha - University of Illinois at Urbana - Champaign, USA
  Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands;
  University of Waterloo, Canada
  Mohammad Ardeshir - Sharif University of Technology, Iran
  Christel Baier - University of Bonn, Germany
  Frank de Boer - CWI, Netherlands; Leiden University, Netherlands
  Marcello Bonsangue - Leiden University, Netherlands
  James C. Browne - University of Texas at Austin, USA
  Michael Butler - University of Southampton, UK
  Nancy Day - University of Waterloo, Canada
  Masahiro Fujita - University of Tokyo, Japan
  Radu Grosu - State University of New York at Stony Brook, USA
  Michael Huth - Imperial College of London, UK
  Mohammad Reza Meybodi - AmirKabir University of Technology, Iran
  Seyyed Hassan Mirian - Sharif University of Technology, Iran
  Marta Kwiatkowska - University of Birmingham, UK
  Ugo Montanari - University of Pisa, Italy
  Mohammad Reza Mousavi - Technical University of Eindhoven, Netherlands
  Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran
  George Papadopoulos - University of Cyprus, Cyprus
  Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands
  Sandeep Shukla- Virginia Tech, USA
  Marjan Sirjani - IPM, Iran; Tehran University, Iran
  Carolyn Talcott - SRI International, USA



CONFERENCE ON LOGIC, COMPUTABILITY AND RANDOMNESS 2007 - CALL FOR PAPERS
  January 10 to 13, 2007, Buenos Aires, Argentina
  http://www.dc.uba.ar/people/logic2007/
* The theme of the conference will be algorithmic randomness and
  related topics in logic, computability and complexity.
  The program will consist of invited talks, contributed talks and
  discussions.
* The conference will be held at Facultad de Ciencias Exactas y Naturales,
  Universidad de Buenos Aires, Argentina.
* The meeting is sponsored by the Association for Symbolic Logic.
  There is no registration fee.  Student members of the ASL
  can apply for travel grants (the approval process takes a few weeks).
* Submissions
  Abstracts of contributed talks should be sent by October 1st 2006, to
  logic2007@dc.uba.ar.
* Plenary Speakers
  Eric Allender (Rutgers University)
  Roberto Cignoli (CONICET, Argentina)
  Serge Grigorieff (Universite Paris 7) -to be confirmed-
  Joos Heintz (University of Buenos Aires / University of Cantabria)
  Carl Jockusch  (University of Illinois at Urbana-Champaign)
  Antonin Kucera  (Charles University, Prague)
  Steffen Lempp (University of Wisconsin)
  Wolfgang Merkle (University of Heidelberg)
  Andre Nies (University of Auckland) -to be confirmed-
  Joseph S. Miller  (University Connecticut)
  Jan Reimann  (University of Heidelberg)
  Claus-Peter Schnorr  (University of Frankfurt am Main)
  Theodore Slaman (University of California)
  Sebastiaan Terwijn (Technical University of Vienna)
* Program Committee
  Rod Downey  (Victoria University, Wellington, New Zealand)
  Denis Hirschfeldt (University of Chicago, USA)
  Veronica Becher   (University of Buenos Aires, Argentina)
* Local Organizers
  Veronica Becher, Santiago Figueira, Daniel Gorin, Sergio Mera,
  Mariano Perez Rodriguez.



CALCO 2007 - Call for Papers
  2nd Conference on Algebra and Coalgebra in Computer Science
  August 20-24, 2007, Bergen, Norway
  http://www.ii.uib.no/calco07/
* Important dates:
  Abstract submission :       January 28, 2007
  Technical paper submission: February 7, 2007
  Author notification:        March   28, 2007
* CALCO 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.
  This is a high-level, bi-annual conference formed by joining the forces
  and reputations of CMCS (the International Workshop on Coalgebraic Methods
  in Computer Science), and WADT (the Workshop on Algebraic Development
  Techniques). The first CALCO conference took place 2005 in Swansea,
  Wales (http://www.cs.swan.ac.uk/calco/index.php), and was a huge success.
  The second event will take place 2007 in Bergen, Norway. Its aim is to
  be at least as successful.
* Topics of Interest:
  We invite submissions of technical papers that report results of
  theoretical work on the mathematics of algebras and coalgebras, the
  way these results can support methods and techniques for software
  development, as well as experience with the transfer of resulting
  technologies into industrial practise.
  More details can be found on the webpage.
* Programme Committee:
  Jiri Adamek, University of Braunschweig, D
  Jose Fiadeiro, University of Leicester, UK
  H.Peter Gumm, Philipps University, Marburg, D
  Bartek Klin, University of Warsaw, PL
  Bart Jacobs, University of Nijmegen, NL
  Marina Lenisa, University of Udine, I
  Ugo Montanari, University of Pisa, I (co-chair,
  http://www.di.unipi.it/~ugo/)
  Larry Moss, Indiana University, Bloomington, USA
  Till Mossakowski, University of Bremen and DFKI Lab Bremen, D (co-chair,
  http://www.informatik.uni-bremen.de/~till/)
  Peter Mosses, University of Wales Swansea, UK
  Fernando Orejas, Politechnical University Catalonia, Barcelona, E
  Prakash Panangaden, McGill University, CA
  Dirk Pattinson, University of Leicester, UK
  Dusko Pavlovic, Kestrel Institute, USA
  Jean-Eric Pin, CNRS-LIAFA Paris, F
  John Power, University of Edinburgh, UK
  Horst Reichel, Technical University of Dresden, D
  Grigore Rosu, University of Illinois, Urbana, USA
  Jan Rutten, CWI and Free University, Amsterdam, NL
  Davide Sangiorgi, University of Bologna, I
  Andrzej Tarlecki, Warsaw University, PL
  Martin Wirsing, Ludwig-Maximilian University, Munich, D
  Uwe Wolter, University of Bergen, NO


Back to the LICS web page.