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.