Newsletter 108
January 10, 2007


*******************************************************************
* 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
*******************************************************************



REMINDER
  The LICS deadline is approaching.
  Titles & short abstracts due:  15 January 2007
  Extended abstracts due:  22 January 2007



TABLE OF CONTENTS
* VACANCIES
  LILLE - Permanent Researcher Positions
  UCLOUVAIN - Full-time academic position, Computing Science
* AWARDS
  Ackermann Award - Call for Nominations
* BOOKS
  Self-Reference - by Thomas Bolander, Vincent Hendricks and Stig Andur Pedersen (eds.)
* CONFERENCES AND WORKSHOPS
  Universal Algebra and the Constraint Satisfaction Problem
  TARK XI - Call for Papers
  UTP 2007 - Call for Papers
  CAV 2007 - Call for Papers
  Logic Colloquium 2007
  HyLo 2007 - Call for Papers
  Model-Theoretic Syntax AT 10 - Call for Papers
  SAS 2007 - Call for Papers
  RTA 2007 - Call for Papers
  FroCoS 2007 - Call for Papers
  DOMAINS VIII and Computability over Ccontinuous Data Types
* JOURNALS
  Special Issue on Structural Operational Semantics - Call for Papers


PERMANENT RESEARCHER POSITIONS IN LILLE
* Applications are invited for
  permanent full-time researcher positions at
  Mostrare project, INRIA FUTURS LILLE, France.
  http://www.grappa.univ-lille3.fr/cgi-bin/twiki/view/Mostrare/Positions2007
* Subjects:
  XML database theory, logic, and automata
  machine learning from semi-structured documents
* Position by INRIA and CNRS on all levels:
  junior researcher (PhD thesis + 4 years)
  experience junior researcher (PhD thesis + 5 years or more)
  senior researcher
* Deadlines:
  January 15, 2007 : by CNRS
  February 15, 2007: by INRIA
* Contact Mostrare (until end 2006 if possible)
  Joachim Niehren http://www.grappa.univ-lille3.fr/~niehren
  Rémi Gilleron http://www.grappa.univ-lille3.fr/~gilleron/indexeng.html



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
  2007.
* 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.
* UCL is the oldest Belgian university and is consistently
  ranked in the top 100 universities worldwide. 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: yde@info.ucl.ac.be   URL: http://www.info.ucl.ac.be
* Application deadline: January 19, 2007.
* Additional details about the information to be provided and the
  administrative forms to be filled in is available from :
  http://www.uclouvain.be/en-38448.html



ACKERMANN AWARD 2007
  Nominations are sollicted for the Ackermann Award 2007.
* The deadline for submission is 31.1.2007.
* 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'07).
  The jury is entitled to give more than one award
  per year. The first Ackermann Award was presented at CSL'05.
* The 2005 recipients were
  Mikolaj Bojanczyk
  Konstantin Korovin
  Nathan Segerlind
* The 2006 recipients were
  Stefan Milius
  Balder ten Cate
* A detailed report, citations and short bibliographies may be
  found in the proceedings of CSL'05 and of CSL'06, or at
  - http://www.dimi.uniud.it/~eacsl/
  - http://www.cs.technion.ac.il/eacsl
* Eligible for the 2007 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.2005 and 31.12. 2006.
* Submission details are available at
  - www.dimi.uniud.it/~eacsl/award.html
  - www.cs.technion.ac.il/eacsl
* 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);
  - M. Grohe (Berlin);
  - M. Hyland (Cambridge);
  - A. Razborov (Moscow and Princeton).



BOOK ANNOUNCEMENT
  Self-Reference
  CSLI Publications, 2006
  by Thomas Bolander, Vincent Hendricks and Stig Andur Pedersen (eds.)
  ISBN (Paperback): 1-575-86516-5, 200 pages
  ISBN (Cloth): 1-575-86515-7, 200 pages
* This is an anthology of previously unpublished essays on
  self-reference from some of the most outstanding scholars in philosophy,
  mathematics, and computer science. The volume is accessible to students
  and compelling for scholars as it reexamines the latest theories of
  self-reference, including those that attempt to explain and resolve the
  semantic and set-theoretic paradoxes. A thorough introduction by the
  editors sets the stage for original contributions from Andrea Cantini,
  Melvin Fitting, Anil Gupta, Vann McGee, Don Perlis, Graham Priest,
  Raymond M. Smullyan, and Stephen Yablo.
* For over 2000 years self-reference, in the form of the Liar's Paradox,
  was considered a philosophical oddity. In 1902, self-referential
  set-theoretic paradoxes triggered a foundational crisis in mathematics.
  Since then, self-reference has continued to play a key role in
  philosophical and mathematical logic as well as, more recently, in
  theoretical computer science. This thought-provoking volume contains a
  collection of cutting-edge articles on this important topic.
                                                Moshe Y. Vardi
* This is a book that every logician will want to read. The well-worn
  topics of self-reference and the paradoxes have been given new life in
  these papers by a distinguished group of logicians.
                                                Elliot Mendelson



WORKSHOP ON UNIVERSAL ALGEBRA AND THE CONSTRAINT SATISFACTION PROBLEM
  (co-located with the International Conference on Order, Algebra, and Logics)
   Nashville, June 17 -- 20, 2007
  http://www.math.vanderbilt.edu/~uacsp2007/
*Theme.
  The Constraint Satisfaction Problem (CSP) provides a framework
  for expressing a large number of combinatorial search problems that
  arise in wide areas of computer science and discrete mathematics.
  The primary goal of this workshop is to bring together researchers from
  the universal algebra/lattice theory and CSP communities to further the
  algebraic approach to several conjectures and problems related to
  constraint satisfaction. Tutorials will be offered to provide participants
  with the requisite background material and then a series of invited
  lectures on recent work on the CSP and algebra will be given. Secondary
  goals are to foster and strengthen links between computer science and
  mathematics and to provide graduate students and junior researchers with
  a rich and interesting set of new problems to work on.
* Invited Speakers:
  Albert Atserias (Technical University of Catalonia),
  Manuel Bodirsky (Humboldt University), Andrei Bulatov (SFU), Hubie Chen
  (University Pompeu Fabra), Victor Dalmau (University Pompeu Fabra),
  Andrei Krokhin (University of Durham), Gabor Kun (University of Memphis),
  Benoit Larose (Champlain Regional College), Miklòs Maròti (University of
  Szeged),
  Petar Markovic (University of Novi Sad), Ralph McKenzie (Vanderbilt),
  Pascal Tesson (Laval University), Heribert Vollmer (University of Hannover),
  Ross Willard (University of Waterloo), Lázsló Zádori (University of Szeged)
* A limited number of contributed talks will be presented. The deadline to
  submit an abstract is Wednesday, February 28, 2007.
* Financial support will be available to a limited number of participants.
  Preference will be given to graduate students and post-doctoral fellows
  whose participation is not fully supported by other sources. Requests
  for support should be submitted as soon as possible but no
  later than March 15, 2007.
* Organizing committee: Andrei Bulatov (SFU),Victor Dalmau (UPF),
  Ralph McKenzie (Vanderbilt) (Chair), Matt Valeriote (McMaster)



ELEVENTH CONFERENCE ON THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE
  (TARK XI:)
  June 25-27, 2007
  Brussels, Belgium
  http://www.tark.be
* The mission of the TARK conferences is to bring together researchers
  from a wide variety of fields, including Artificial Intelligence,
  Cryptography, Distributed Computing, Economics and Game Theory,
  Linguistics, Philosophy, and Psychology, in order to further our
  understanding of interdisciplinary issues involving reasoning about
  rationality and knowledge. Topics of interest include, but are not
  limited to, semantic models for knowledge, belief, and uncertainty,
  bounded rationality and resource-bounded reasoning, commonsense
  epistemic reasoning, epistemic logic, knowledge and action, applications
  of reasoning about knowledge and other mental states, belief revision,
  and foundations of multi-agent systems.
* Submission deadline: Jan. 30, 2007; See http://www.tark.be for details.
  Strong preference will be given to papers whose topic is of interest to
  an interdisciplinary audience, and papers should be accessible to such
  an audience.
* Program committee:  Sergei Artemov (CUNY), Vincent Conitzer (Duke),
  Lance Fortnow (Chicago), Aviad Heifetz (Open University, Israel),
  Franz Huber (California Institute of Technology), Adam Kalai (Georgia
  Institute of Technology), Ron Lavi (Technion), Jerome Lang (IRIT),
  Martin Meier (Instituto de Analisis Economico), Dov Samet (chair - Tel
  Aviv University) Burkhard Schipper (University of California, Davis_
  Robert Stalnaker (MIT), Marc Pauly (Stanford), Muhamet Yildiz (MIT)



UTP'07 AT IFM: UNIFYING THEORIES OF PROGRAMMING
  (a special session of IFM2007)
  First call for papers
  St Anne's College, Oxford, UK; 2nd to 6th July 2007
  http://www.ifm2007.org
* Motivation. This special session follows the successful
  First International Symposium on Unifying Theories of
  Programming, UTP'06, and aims to reaffirm the significance
  of the ongoing UTP project, to encourage efforts to
  advance it by providing a focus for the sharing of results
  by those already actively contributing, and to raise
  awareness of the benefits of unifying theoretical
  frameworks among the wider computer science and software
  engineering communities.
* Themes. Technical contributions are invited on the UTP
  themes of abstraction, refinement, choice, termination,
  feasibility, concurrency and communication, as well as
  related issues.  These themes include, but are not limited
  to, linkage of theories, algebraic descriptions,
  healthiness conditions, normal forms, incorporation of
  probabilistic programming, timed calculi, and object-based
  descriptions.
* Submission Deadline : 29th January 2007, via the website.
* Session co-chairs. Phil Brooke (University of Teesside, UK),
  Yifeng Chen (University of Durham, UK)



COMPUTER AIDED VERIFICATION (CAV 2007)
  19th International Conference
  Berlin, Germany, July 3-7, 2007
  Call for Papers
  http://www.cav2007.org
* Aims and Scope: CAV'07 is the 19th in a series dedicated to the
  advancement of the theory and practice of computer-aided formal
  analysis methods for hardware and software systems.
* Topics of interest include: algorithms and tools for verifying models
  and implementations; hardware verification techniques; hybrid systems
  and embedded systems verification; program analysis and software
  verification; modeling and specification formalisms; deductive,
  compositional, and abstraction techniques for verification; testing
  and runtime analysis based on verification technology; applications
  and case studies; verification in industrial practice.
* Submission: There are two categories of submissions: regular papers
  (not to exceed 13 pages) and tool presentations (not to exceed 4 pages).
  Information concerning the procedure for submissions will be available
  on the conference home page.
* Submission Deadline:  January 28, 2007 (firm)
* Program Committee: Parosh Abdullah (Uppsala U), Rajeev Alur (U Penn),
  Sergey Berezin (Synopsis), Armin Biere (JKU Linz), Roderick Bloem
  (TU Graz), Ahmed Bouajjani (U Paris 7), Alessandro Cimatti (IRST Trento),
  Edmund M. Clarke (CMU), Werner Damm (U Oldenburg) (Co-Chair),
  E Allen Emerson (U Texas), Limor Fix (Intel), Patrice Godefroid (Microsoft
  Research), Ganesh Gopalakrishnan (U of Utah), Susanne Graf (Verimag),
  Orna Grumberg (Technion), Holger Hermanns (Saarland U) (Co-Chair),
  Robert Jones (Intel), Orna Kupferman (Hebrew U), Robert Kurshan (Cadence),
  John Lygeros (ETH Zuerich), Tom Melham (Oxford U), Ken McMillan (Cadence),
  Jakob Rehof (U Dortmund), Koushik Sen (UC Berkeley), Fabio Somenzi (U
  Boulder), Ashish Tiwari (SRI International), Frits Vaandrager (U Nijmegen),
  Yaron Wolfstal (IBM Haifa)



2007 ASL EUROPEAN SUMMER MEETING (LOGIC COLLOQUIUM '07)
  Wroclaw, Poland
  July 13--19, 2007
* This meeting will be co-located with the 2007 International
  Colloquium on Automata, Languages and Programming (ICALP 2007; see
  the ASL 'other meetings' wepage and http://www.eatcs.org/) and the
  Twenty-second Annual IEEE Symposium on Logic In Computer Science
  (LICS 2007; see the ASL 'other meetings' webpage and
  http://users.comlab.ox.ac.uk/luke.ong/LICS07/).
* The Program Committee
  includes: A. Andretta, F. Delon, U. Kohlenbach, S. Lempp (Chair), P.
  Maddy, J. Marcinkowski, L. Newelski, A. Pitts, P. Pudlak, S. Solecki,
  F. Stephan, and G. Sundholm.
* The Local Organizing Committee includes:
  J. Marcinkowski (Chair), T. Jurdzinksi, E. Kieronski, P. Kowalski,
  and B. Rusiecka.
* Abstracts of contributed talks submitted by ASL members will be
  published in The Bulletin of Symbolic Logic if they satisfy the Rules
  for Abstracts (see above). Abstracts---hard copy or email---should be
  received before the deadline of April 17, 2006. The address to which
  abstracts should be sent will soon be announced at
  http://www.aslonline.org.



International Workshop on Hybrid Logic 2007 (HyLo 2007)
  (affiliated with ESSLLI 2007)
  First Call for Papers
  Dublin, 6 - 10 August, 2007
  http://hylomol.ruc.dk/HyLo2007
* Theme. Hybrid logic is a branch of modal logic allowing direct
  reference to worlds/times/states. It is easy to justify interest in
  hybrid logic on the grounds of applications as the additional
  expressive power is very useful. In addition, hybrid-logical
  machinery improves the behaviour of the underlying modal formalism.
  The topic of the HyLo workshop of 2007 is not only standard
  hybrid-logical machinery like nominals, satisfaction operators, and
  the downarrow binder, but generally extensions of modal logic that
  increase its expressive power.The workshop HyLo 2007 will be
  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 accepted papers will appear in the workshop proceedings
  published by ESSLLI. It is planned to publish revised versions of
  the accepted papers in a special issue of Journal of Logic,
  Language and Information.
* Submission deadline: March 8, 2007
* Program committee. Carlos Areces (INRIA Lorraine, France)
  Patrick Blackburn (INRIA Lorraine, France)
  Thomas Bolander (Technical University of Denmark) - Co-Chair
  Torben Braüner (Roskilde University, Denmark) - Chair
  Mai Gehrke (New Mexico State University, USA)
  Valeria de Paiva (PARC, USA)
  Jørgen Villadsen (Technical University of Denmark)
* Invited speakers.
  - Balder ten Cate (University of Amsterdam, The
    Netherlands)
  - Ian Hodkinson (Imperial College, UK)



WORKSHOP: MODEL-THEORETIC SYNTAX AT 10
  (affiliated with ESSLLI 2007)
  Call for Papers
  Dublin, Ireland, August 13--17, 2007
  http://cs.earlham.edu/esslli07mts
* Theme.  Descriptive approaches to formalization of theories of
  syntax in terms of classes of ordinary mathematical structures.
  Descriptive Complexity, Monadic Second-Order Logic, Modal Logic,
  semantically constrained extensions of FOL/MSO, other declarative
  approaches to defining syntactic structures, automata and
  transducers over complex structures, logically defined
  translations between structures, logical query languages, model
  checking, applications to existing grammar formalisms,
  applications to Linguistics.
* All submissions must be done electronically via the workshop
  website.
* Submission Deadline: 15 February 2007
* Program committee: Patrick Blackburn (INRIA Lorraine),  Laura
  Kallmeyer (Universität Tübingen),  Stephan Kepser (Universität
  Tübingen, co-chair),  Marcus Kracht (UCLA),  Jens Michaelis
  (Universität Osnabrück),  Uwe Mönnich (Universität Tübingen),  Drew
  Moshier (Chapman University ),  Lawrence Moss (Indiana University),
  Adi Palm (Universität Passau),  Geoffrey Pullum (University of
  California, Santa Cruz),  Frank Richter ( Universität Tübingen),
  James Rogers (Earlham College, co-chair),  Edward Stabler (UCLA),
  Hans-Jörg Tiede (Illinois Wesleyan University).



STATIC ANALYSIS SYMPOSIUM (SAS 2007)
  Call for Papers
  22-24 August 2007, Kongens Lyngby, Denmark
  (co-located with LOPSTR 2007)
  url: http://www.imm.dtu.dk/sas2007
  email: sas2007@imm.dtu.dk
* Static Analysis is increasingly recognized as a fundamental tool for high
  performance implementations and verification of programming languages and
  systems. The series of Static Analysis Symposia has served as the primary
  venue for presentation of theoretical, practical, and application advances
  in the area.
  The technical programme for SAS 2007 will consist of invited lectures,
  tutorials, panels, presentations of refereed papers, and software
  demonstrations. Contributions are welcome on all aspects of Static
  Analysis, including, but not limited to:
  - abstract domain
  - abstract interpretation
  - abstract testing
  - compiler optimisations
  - control flow analysis
  - data flow analysis
  - model checking
  - program specialization
  - security analysis
  - theoretical analysis frameworks
  - type based analysis
  - verification systems
* Important dates
  Submission of abstract:      March 26, 2007
  Submission of full paper:    March 30, 2007
  Notification:                May 7, 2007
  Camera-ready version:        June 4, 2007
  Conference:                  August 22-24, 2007
* Submissions can address any programming paradigm, including concurrent,
  constraint, functional, imperative, logic and object-oriented programming.
  Survey papers, that present some aspect of the above topics from a new
  perspective, and application papers, that describe experience with
  industrial applications, are also welcome. Papers must describe
  original work, be written and presented in English, and must not
  substantially overlap with papers that have been published, or that
  are simultaneously submitted to a journal or a conference with
  refereed proceedings.
  Submitted papers should be at most 15 pages formatted in LNCS style
  (excluding bibliography and well-marked appendices not intended for
  publication). PC members are not required to read the appendices, and
  thus papers should be intelligible without them. The proceedings will
  be published by Springer-Verlag in the Lecture Notes in Computer
  Science series.
* Program Committee. Agostino Cortesi (U. Venice, Italy), Patrick Cousot
  (ENS, France), Manuel Fahndrich (Microsoft, USA), Gilberto Filé
  (U. Padova, Italy, co-chair), Roberto Giacobazzi (U. Verona, Italy),
  Chris Hankin (Imperial College, UK), Manuel Hermenegildo (TU. Madrid,
  Spain), Jens Knoop (TU. Vienna, Austria), Naoki Kobayashi (Tohoku U.,
  Japan), Julia Lawall (U. Copenhagen, Denmark), Hanne Riis Nielson
  (DTU, Denmark, co-chair), Andreas Podelski (U. Freiburg, Germany),
  Jakob Rehof (U. Dortmund, Germany), Radu Rugina (Cornell U., USA),
  Mooly Sagiv (Tel-Aviv U., Israel), Dave Schmidt (Kansas State U.,
  USA), Helmut Seidl (TUM, Germany), Harald Søndergaard (U. Melbourne,
  AU), Kwangkeun Yi (Seoul N. U., Korea)
* Organising committee. Christian W. Probst, Flemming Nielson, Terkel K.
  Tolstrup, Henrik Pilegaard, Eva Bing, Elsebeth Strøm



CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA 2007)
   (Part of RDP'07; co-located with TLCA'07)
   Second Call for Papers
   Paris, France, June 26-28, 2007
   http://www.lsv.ens-cachan.fr/rdp07/rta.html
* THEME.  RTA is the major forum for the presentation of research
   on 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; analysis of cryptographic protocols; proof checking; reasoning
   about programming languages and logics; program transformation;
   Foundations: matching and unification; narrowing; completion
   techniques; strategies; constraint solving; explicit substitutions;
   tree automata; termination; combination;
   Frameworks: string, term, graph, and proof rewriting; lambda-calculus
   and higher-order rewriting; proof nets; constrained rewriting/deduction;
   categorical and infinitary rewriting; integration of decision procedures;
   Implementation: compilation techniques; parallel execution;
   rewrite tools; termination checking;
   Semantics: equational logic; rewriting logic; rewriting models of programs.
* SUBMISSIONS. Submission categories include regular research papers
   and system descriptions.  Problem sets and submissions describing
   interesting applications of rewriting techniques are also welcome.
   The page limit for submissions is 15 pages in Springer LNCS style
   (10 pages for system descriptions). The submission Web page will be
   made available beginning of December. As usual, the proceedings
   of RTA'07 will be published in the Springer LNCS series.
* IMPORTANT DATES:
   Jan 26, 2007: Deadline for electronic submission of title and abstract
   Jan 31, 2007: Deadline for electronic submission of papers
   Apr 02, 2007: Notification of acceptance of papers
   Apr 23, 2007: Deadline for final versions of accepted papers
* PROGRAM COMMITTEE: Alessandro Armando (Genova, Italy), Franz Baader
   (Dresden, Germany, Chair), Roberto Di Cosmo (Paris, France), J=FCrgen
   Giesl (Aachen, Germany), Deepak Kapur (Albuquerque, USA), H=E9l=E8ne
   Kirchner (Nancy, France), Barbara K=F6nig (Duisburg, Germany),
   Salvador Lucas (Valencia, Spain), Narciso Mart=ED-Oliet (Madrid,
   Spain), Tobias Nipkow (Munich, Germany), Femke van Raamsdonk
   (Amsterdam, The Netherlands), Aaron Stump (St. Louis, USA),
   Sophie Tison (Lille, France), Ralf Treinen (Cachan, France)
* CONFERENCE CHAIRS: Ralf Treinen (Cachan, France),  Xavier Urbain
   (Paris, France)
* For more information, see webpage



INTERNATIONAL SYMPOSION ON FRONTIERS OF COMBINING SYSTEMS (FroCoS 2007)
  Call for Papers
  University of Liverpool, UK, September 10-12, 2007
  http://www.csc.liv.ac.uk/~frocos07
*Theme. Typical topics of interest include: combinations of logics such as
  combined predicate, temporal, modal, or epistemic logics; combinations and
  modularity in ontologies; combination of decision procedures, of
  satisfiability procedures, and of constraint solving techniques; combinations
  and modularity in term rewriting; integration of equational and other
  theories into deductive systems; combination of deduction systems and
  computer algebra; logical aspects of combining and modularising programs and
  specifications.
* Submission Deadline: April 30, 2007
* Programme Committee: Alessandro Armando, Franz Baader, Jacques Calmet,
  Silvio Ghilardi, Bernhard Gramlich, Deepak Kapur, Boris Konev, Till
  Mossakowski, Joachim Niehren, Albert Oliveras, Dirk Pattinson, Silvio Ranise,
  Christophe Ringeissen, Ulrike Sattler, Amilcar Sernadas, Cesare Tinelli, Luca
  Vigano, Frank Wolter



JOINT WORKSHOP DOMAINS VIII AND COMPUTABILITY OVER CONTINUOUS DATA TYPES
  Announcement and Call for Abstracts
  Akademgorodok, Novosibirsk, September 11 -- 15, 2007
  www.sbras.ru/ws/domains/ (Switch to English - upper right corner)
  email:   domains@math.nsc.ru
* Theme: The Workshop 'Domains' series is aimed at computer scientists and
  mathematicians alike who share an interest in the mathematical
  foundations of computation. It focusses on domain theory, its
  applications and related topics. It will be combined with topics
  based on the German--Russian project 'Computability Over
  Non-discrete Structures: Models, Semantics, Complexity'.
* Scope: Topics for this workshop include, but are not limited to
  domains and topology for semantics, effective domains and spaces,
  computation over continuous spaces, program semantics, models of
  sequential computation, lambda calculus, realizability, proof mining,
  constructive mathematics and its semantics, computability theory,
  computable models, admissible sets.
* Participation: If you would like to participate, indicate your
  interest at an early stage: domains@math.nsc.ru
* Abstracts: One page abstracts should be submitted to
  domains@math.nsc.ru. They will be dealt with on a first come/first
  served basis. Deadline: 15 May 2007.
* Conference Proceedings will be published in a Journal. Submission for
  the Proceddings will be after the Workshop.
* Deadline for registration: 30 June, 2007
* Programme Committee: Yuri Ershov, Sergei Goncharov (both Sobolev
  Institute of Mathematics, Novosibirsk), Achim Jung (University of
  Birmingham), Klaus Keimel (Chair), Ulrich Kohlenbach (both Darmstadt
  University of Technology), Andrei Morozov (Co-Chair, Sobolev
  Institute of Mathematics, Novosibirsk), Victor Selivanov
  (Novosibirsk State Pedagogical University), Dieter Spreen
  (University of Siegen)
* Workshop Secretary: Alexei Stukachev (domains@math.nsc.ru)



SPECIAL ISSUE ON STRUCTURAL OPERATIONAL SEMANTICS
   Information & Computation, Elsevier
   Call for papers
   http://www.cse.unsw.edu.au/~rvg/SOS2006/spissue
* Scope: This special issue aims at documenting state-of-the-art
   research, new developments and directions for future investigation
   in the field of structural operational semantics (SOS).
   Papers reporting on applications of SOS to software engineering
   and other areas of computer science are also welcome.
   This special issue is an outgrowth of the series of SOS
   workshops, which started in 2004, and serves in part as an
   opportunity to publish the full versions of the best papers
   presented at SOS 2006. However, papers that were not presented
   at SOS 2006 are equally welcome. N.B. An extended abstract or
   short version of a paper submitted for the special issue may
   also be submitted for presentation at the SOS 2007 workshop,
   see http://www.cse.unsw.edu.au/~rvg/SOS2007/
* Submissions: All submissions will be refereed and subjected
   to the same quality criteria, meeting the standards of
   Information and Computation.
* Submission deadlines: title and abstract by 15 January 2007,
   full paper by 15 February 2007.
* Guest editors: Rob van Glabbeek and Peter Mosses
* For further information see the URL above.



Back to the LICS web page.