Newsletter 103
January 29, 2006

* Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to

  MFPS 2006 - Call for Papers
  ICCL Summer School 2006
  FLoC 2006 - Call for Papers
  LCC 2006 - Call for Papers
  STRATEGIES 2006 - Call for Papers
  GLOBAN Summer School 2006 - Call for Participation
  ACKERMANN AWARD - Call for Nominations
  Tenure Track Professor Positionsm Universite Du Quebec a Montreal, Montreal, Canada
  PhD-Position at the University of Marburg, Germany

   May 24 - May 27, 2006
   Genova, Italy
* We are now accepting submissions for MFPS 22.
* The invited speakers for MFPS 22 include
  - Marcelo Fiore (Cambridge)
  - Eugenio Moggi (Genova)
  - Prakash Panangaden (McGill)
  - Davide Sangiorge (Bologna)
  - Peter Selinger (Dalhousie) and
  - Steve Zdancewic (Penn)
* In addition, there will be special sessions on security, on timed
  systems, and on quantum computing. There also will be a Tutorial Day
  on May 23 on Separation Logic; the lecturers will be Stephen Brookes
  (CMU), Peter O'Hearn (QMW) and John Reynolds (CMU).
* Researchers are encouraged to submit papers in programming
  semantics, its mathematical and logical foundations and related areas,
  as well as in the areas listed above.  Submissions should be made in
  the form of a PostScript or pdf file thact can be printed on any
  standard printer. The deadline for submissions is Midnight, Pacific
  Standard Time, Wednesday, February 22, 2006.
* More information about the meeting together with precise
  instructions about submissions can be found at the MFPS 22 web page

   June 24 - July 8, 2006
   Technische Universität Dresden
   Call for Participation
* See for more information.
  The topic of this year's summer school is
   It is common wisdom that the still growing power of
   digital data processing greatly enhances the wealth of
   human knowledge and will continue to do so. A
   precondition for this is, however, that knowledge is
   encoded and represented in a computer-accessible manner,
   such that it can be algorithmically processed. This
   requires, in turn, the use of appropriate formal
   structures for knowledge representation and knowledge
   processing. Such structures, called `Knowledge
   Structures', will be the topic of this year's ICCL summer
   school. There are many approaches to this topic ranging
   from formal logics, to mathematical and data mining
   methods. The summer school's focus is on the following
   three areas:
   - Logic, with Description Logic and Inductive Logic Programming,
   - Cluster Methodology, with applications to text clustering and
     Semantic Web mining, and
   - Formal Concept Analysis, with applications to Ontologies and
     Machine Learning.
   The basic ideas of these areas will be introduced and
   discussed, with the aim of providing a broad
   methodological repertoire for future research and
   If you want to attend the summer school, we'd prefer that
   you register by March 18, 2006. (See the online registration on the
   web page mentioned above.) For all who want to apply for a grant,
   this deadline is obligatory. After March 18, 2006, registration
   will be possible as long as there are vacant places.
   (Since we intend to restrict participation to about 60
   people, in case of excessive demand, we will have to
   close the registration to the summer school.)
   People applying until March 18, 2006, and applying for a
   grant will be informed about respective decisions on
   grants by end of March 2006.
   We ask for a participation fee of 150 EUR.
   A limited number of grants may be available, please indicate
   in your application if the only possibility for you to
   participate is via a grant. Applications for grants must
   include an estimate of travel costs and they should be sent
   together with the registration.
   It will be possible for some participants to present
   their research work during a small workshop integrated in
   the summer school. If you would like to do so, please
   register by means of the online workshop registration
   form on the web page mentioned above.
   - Finger Exercises in Formal Concept Analysis.
     Bernhard Ganter (Technische Universität Dresden)
   - Knowledge, Reasoning, and the Semantic Web.
     Pascal Hitzler (AIFB Universität Karlsruhe)
   - Text clustering and Semantic Web mining.
     Andreas Hotho (Universität Kassel)
   - Inductive Logic Programming.
     Stefan Kramer (Technische Universität München)
   - Cluster Methodology.
     Sabine Krolak-Schwerdt (Universität Saarbrücken)
   - Machine Learning and Formal Concept Analysis.
     Sergei Kuznetsov (VINITI, Moscow, Russia)
   - Reasoning in Description Logics.
     Franz Baader (Technische Universität Dresden)
   Chairs of the ICCL Summer School 2006
   - Bernhard Ganter
   - Steffen Hölldobler
   Organizing Committee
   - Julia Koppenhagen
   - Bertram Fronhöfer

   August 10 -- August 22, 2006
   Seattle, Washington, USA
   Call for Papers
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS
  hosted the first Federated Logic Conference (FLoC). It was modeled
  after the successful Federated Computer Research Conference (FCRC),
  and synergetically brought together conferences that apply logic to
  computer science.  The second Federated Logic Conference (FLoC'99) was
  held in Trento, Italy, in 1999, and the third (FLoC'02) was held in
  Copenhagen, Denmark, in 2002.
* The Fourth Federated Logic Conference (FLoC'06) will be held in Seattle,
  Washington, in August 2006, at the Seattle Sheraton
* The following conferences will participate in FLoC'06:
  - Int'l Conference on Computer-Aided Verification (CAV)
  - Int'l Conference on Rewriting Techniques and Applications (RTA)
  - IEEE Symposium on Logic in Computer Science (LICS)
  - Int'l Conference on Logic Programming (ICLP)
  - Int'l Conference on Theory and Applications of Satisfiability Testing (SAT)
  - Int'l Joint Conference on Automated Reasoning (IJCAR)
* In addition, FLoC'06 will host 42 workshops.  Pre-conference workshops
  will be held on August 10-11.  LICS, RTA, and SAT will be held in
  parallel on August 12-15, to be followed by mid-conference workshops
  and excursions on August 15-16. CAV, ICLP, and IJCAR will be held in
  parallel on August 16-21, to be followed by post-conference workshops
  on August 21-22.  Plenary events involving all the conferences are
* Calls for papers for the conferences and workshops are available
  at the conference website:
  We invite you to submit papers to FLoC'06 conferences and workshops.
* FLoC'06 Steering Committee
  - Moshe Y. Vardi      (General Chair)
  - Jakob Rehof         (Conference Chair)
  - Edmund Clarke       (CAV)
  - Reiner Hahnle       (IJCAR)
  - Manuel Hermenegildo (ICLP)
  - Phokion Kolaitis    (LICS)
  - Henry Kautz         (SAT)
  - Aart Middeldorp     (RTA)
  - Andrei Voronkov     (IJCAR)

  (affiliated with LICS 2006)
  Call for Papers
  Seattle, USA, August 10-11, 2006.
* Topics of interest include:
  complexity analysis for functional languages,
  complexity in database theory,
  complexity in formal methods,
  computational complexity in higher types,
  formal methods for complexity analysis of programs,
  foundations of implicit computational complexity,
  logical & machine-independent characterizations of complexity classes,
  logics closely related to complexity classes,
  proof complexity
  semantic approaches to complexity,
  software that applies LCC ideas,
  type systems for controlling complexity
* All submissions must be done electronically.
  See the workshop webpage for details.
* Submission Deadline : June 12, 2006
* Program committee:
  Georg Gottlob (University of Oxford)
  Neil Immerman (University of Massachusetts, Amherst) co-chair
  Russell Impagliazzo (University of California, San Diego)
  Neil Jones (University of Copenhagen)
  Bruce Kapron (University of Victoria) co-chair
  Harry Mairson (Brandeis University)
  Karl-Heinz Niggl (University of Technology, Ilmenau)
  Toniann Pitassi (University of Toronto)
  Thomas Schwentick (University of Dortmund)
  Colin Stirling (University of Edinburgh)

   Sixth International Workshop on Strategies in Automated Deduction
   A FLoC'06 Affiliated Workshop
* This workshop is a successor to both the series of STRATEGIES
  workshops associated with CADE and IJCAR and to the STRATA 2003
  workshop associated with TPHOLs.  Papers and participation are invited
  from both the fully automatic and interactive theorem proving
* For the full Call for Papers see:

  Technical University of Denmark
  August 21-25, 2006
  Call for Participation
* The one-week GLOBAN summer school will give doctoral students
  and other young researchers a comprehensive overview of
  contemporary techniques for analysis and verification of
  models of global computing systems characterized by
  concurrency, communication, heterogeneity and distribution.
  The school is organised by IMM/DTU in association with the
  SENSORIA project.
* Lecturers.
  Process Algebras and Concurrent Systems
  (Rocco De Nicola, University of Florence, Italy)
  Equality of processes: equivalences and proof techniques
  (Davide Sangiorgi, University of Bologna, Italy)
  Flow Logics
  (Flemming Nielson, Technical University of Denmark)
  Computing with relations using Horn clauses
  (Helmut Seidl, Technical University of Munich, Germany)
  Type systems
  (Vasco Vasconcelos, University of Lisbon, Portugal)
  Modal logics
  (Luís Caires, New University of Lisbon, Portugal)
  Model checking
  (Kim Guldstrand Larsen, University of Aalborg, Denmark)
  Stochastic modelling
  (Stephen Gilmore, University of Edinburgh, Scotland)
* Details of registration, participant fees and a grant scheme
  will be posted on webpage by March 1, 2006
* For details see webpage

  Second Call for Papers
  Manchester, UK, 29 Aug-2 Sep 2006
* The RelMiCS Conference is the main forum for the relational
  calculus as a conceptual and methodological tool.  The AKA
  Workshop is a forum 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.
* Topics: Relation algebras, Kleene algebras, related formalisms
  such as process algebras, fixed point calculi, idempotent
  semirings, quantales, allegories, dynamic algebras, cylindric
  algebras, and their applications.  Special focus will be on
  formal methods for software engineering, logics of programs and
  links with neighbouring disciplines.
* Invited speakers:
   - Ernie Cohen, Microsoft, USA
   - Roger D. Maddux, Iowa State University, USA
   - Jeff Sanders, Oxford University, UK
* Important dates:
   - Abstract submission: 27 February 2006
   - Paper submission:    6 March 2006
* Paper submission: Authors are invited to submit papers of at
  most 15 pages in LNCS style.
* Publication details: The proceedings of the conference will be
  published in the Springer LNCS series.
* Student programme: A PhD training programme will be
  co-organised with the conference.
   - Application submission: 30 May 2006
* Programme committee: Roland Backhouse, Brandon Bennett, Rudolf
  Berghammer, Stephane Demri, Jules Desharnais, Zoltan Esik,
  Marcello Frias, Hitoshi Furusawa, Stephane Gaubert, Steven
  Givant, Valentin Goranko, Martin Henson, Ali Jaoua, Peter
  Jipsen, Wolfram Kahl, Yasuo Kawahara, Zhiming Liu, Bernhard
  Moeller, Damian Niwinski, Ewa Orlowska, Alban Ponse, Ingrid
  Rewitzky, Ildiko Sain, Holger Schlingloff, Gunther Schmidt,
  Renate Schmidt (General Chair), Giuseppe Scollo, Georg Struth
  (PC chair), Harrie de Swart, Michael Winter.
* Please consult the website for further information.

* The EACSL Outstanding Dissertation Award for Logic in Computer
  Science (The Ackermann Award) will be presented to the recipients at
  the annual conference of the EACSL (CSL'xx). The jury is entitled to
  give more than one award per year.
* Submissions for the Ackermann Award 2006
  Eligible for the 2006 Ackermann Award are PhD dissertations in
  topics specified by the EACSL and LICS conferences, which were
  formally accepted as PhD theses at a university or equivalent
  institution between 1.1.2004 and 31.12.2005.
* The deadline for submission is 31.1.2006 . Submission details follow below.
* The award consists of
  - a diploma,
  - an invitation to present the thesis at the CSL conference,
  - the publication of the abstract of the thesis and the laudatio in the CSL proceedings,
  - travel support to attend the conference.
* The jury consists of seven members:
  - The president of EACSL, J. Makowsky (Haifa);
  - The vice-president of EACSL, D. Niwinski (Warsaw);
  - One member of the LICS organizing committee, S. Abramsky (Oxford);
  - B. Courcelle (Bordeaux);
  - E. Graedel (Aachen);
  - M. Hyland (Cambridge);
  - A. Razborov (Moscow and Princeton);
* The candidate or his/her supervisor has to submit
   1. the thesis (ps or pdf file);
   2. a detailed description (not longer than 20 pages) of the thesis
      in ENGLISH (ps or pdf file);
   3. a supporting letter by the PhD advisor and two supporting
      letters by other senior faculty or researchers in equivalent positions
      (in English); supporting letters can also be sent directly to
      J.A. Makowsky (;
   4. a short CV of the candidate.
   5. a copy of the document asserting that the thesis was accepted as
      a PhD thesis at a recognized University (or equivalent institution)
      and that the candidate has received his/her PhD within the specified
      period (scanned as pdf-file or faxed);
* The submission should be sent by e-mail as attachments to
  With the following subject line and text:
  - Subject: Ackermann Award Submission
  - Text: Name of candidate, list of attachments
* Submission can be sent via several e-mail messages. If this is the
  case, indicate it in the text. Letters of Support and document can
  also be faxed to
  Prof. J. Makowsky
  Ackermann Award
  +972-4-829 3900
* For more details, see

* Two tenure track positions are available at the computer science
department of UQAM.
* One position is in
  - Data Bases (Data Mining)
  and the second position is in
  - Combinatorics and Algorithms (Bio-Informatics)
* All teaching at UQAM is done in French, so a working knowledge of this
language is necessary.
* Priority will be given to Canadian citizens and landed immigrants.
* Application deadline is March 15th 2006.
* The complete announcement is available at

   University of Marburg, Germany
* The Department of Mathematics and Computer Science at the
  University of Marburg, Germany, offers a full time
  PhD-Position - Wissenschaftl. Mitarbeiter/in (BAT IIa) -
  in the area
  Universal Coalgebra / Universal Algebra, Verification, Formal Methods.
* Prerequisites:
  Excellent degree (Diplom or Master) in Computer Science or Mathematics.
  Strong background in one or more of the above areas.
  German language fluency.
* Tasks:
  Service (organization, preparation, counselling) in teaching and
  research at the undergraduate and graduate level. PhD-Research
* The contract is initially for 1 year, with the possibility for
  extensions to a total of at most 5 years
* If you are interested, please get in touch with
  Prof. Dr. H.Peter Gumm
* The official advertisement can be found at

Back to the LICS web page.