BLC Newsletter January 2007

BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.cs.bham.ac.uk/~exr/blc

President           Professor J B Paris FBA [Manchester]
Vice-President      Professor J M E Hyland [Cambridge]
Treasurer           Professor D Macpherson [Leeds]
Secretary           Dr M Dzamonja [East Anglia]
                    Dr N Alechina [Nottingham]
                    Dr E Ritter [Birmingham]
                    Professor T Williamson FBA FRSE [Oxford]

---------------------------------------------------------
Dear members,

Happy New Year and welcome to the first BLC Newsletter in 2007.
In this issue:

(1) DLMPS congress in Beijing (2) Peter Cameron's birthday conference
(3) Foundations of the Formal Sciences VI, May 2-5, 2007
(4) Philosophy Masterclass, 3rd and 4th of April 2007
(5) The 6th International Workshop on
Proof Theory, Computation, Complexity
April 13-14, 2007
(6)  LICS Newsletter 108

    Best wishes, Mirna


------------------------------------------------------------
------------------------------------------------------------
(1) Message circulated to the National Members of IUHPS/DLMPS,

Please find below an updated announcement for our LMPS Congress in Beijing this summer. After some initial problems the congress web site is now working (even if a bit slow), one can register on-line (without paying until the (new) deadline of May 15), the list of invited speakers is almost complete and can be found on the web site, etc.

Right now is a good time to make some further advertising for the congress; there is still ample time for  submission of abstracts, as you can see below.

I would like to ask for your help with this. That is, I would very much appreciate if you could distribute the information to the members of your national organization (logic, methodology, philosophy of science, etc.) that belong to IUHPS/DLMPS.

Further information about the schedule, the General Assembly, etc. will come soon.

Thank you in advance,

-Dag Westerstahl
Secretary-General IUHPS/DLMPS


====================================================

LMPS 2007
Beijing, China, August 9 - 15, 2007

13TH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE

is held for the first time in Asia. It is organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, and contributed papers in each section. The sections are:

A LOGIC
A1 Mathematical logic
A2 Philosophical and applied logic
A3 Logic and computation

B GENERAL PHILOSOPHY OF SCIENCE
B1 General problems of methodology and scientific reasoning
B2 Formal approaches to methodology
B3 Historical and sociological aspects in the philosophy of science

C PHILOSOPHICAL ISSUES OF PARTICULAR SCIENCES
C1 Philosophy of mathematics and logic
C2 Philosophy of physics
C3 Philosophy of biology
C4 Philosophy of cognitive science, psychology and linguistics
C5 Philosophy of economics, theories of rationality, decision theory, game theory
C6 Philosophy of social sciences
C7 Philosophy of medicine

D SCIENCE AND SOCIETY
D1 Ethical issues in scientific practice and technology
D2 Bioethics
D3 Science and education

For information about organizers, invited speakers, symposia, registration, submission of abstracts, accommodation, travel, excursions, etc. visit

      http://www.clmps2007.org

or send email to .

Some main points:

-  Register on-line now; the (regular) fee should be paid by May 15, 2007.

-  The full participation fee is US $ 250, and $ 125 for students and accompanying persons.

-  A limited number of grants are available.

-  The abstracts review process will start on March 1 and will end around April 10. Contributors are urged to submit their abstracts (1 page) as early as possible, preferably by March 1 in order to receive early notification of acceptance/rejection, but in no case later than March 20.

-  Invited papers will be published in proceedings. Proceedings from the previous LMPS Congress are in P. Hajek, L. Valdes-Villanueva, D. Westerstahl (eds.), Logic, Methodology and Philosophy of Science (London: King's College Publications, 2005), available in internet bookstores, e.g. fohttp://www.amazon.com/Logic-Methodology-Philosophy-Science-Hajek/dp/1904987214/sr=1-3/qid=1168600113/ref=sr_1_3/103-3225201-2156654?ie=UTF8&s=books (paperback, $ 30).

(2)

August 23--26, Ambleside, Lake District. `From Higman-Sims to Urysohn: a
random walk through groups, graphs, designs and spaces', a conference in
honour of the 60th birthday of Peter Cameron (QMUL). For further details
contact Dugald macpherson (h.d.macpherson@leeds.ac.uk) or see:
http://www.maths.qmul.ac.uk/~rfb/pjc60/

(3)


*****************************************************************

              Foundations of the Formal Sciences VI
     Reasoning about Probabilities and Probabilistic Reasoning

                          May 2-5, 2007

                    Universiteit van Amsterdam
          Institute for Logic, Language and Computation

          URL: http://www.math.uni-bonn.de/people/fotfs/VI/

*****************************************************************
CALL FOR ABSTRACTS
*****************************************************************

Probabilistic methods are increasingly becoming an important tool
in a  variety of disciplines.   These  include  computer  science
(probabilistic computation and automata, randomness), mathematics
(probabilistic proofs), artificial intelligence  (reasoning under
uncertainty),   epistemology   (bayesian  epistemology)  and lin-
guistics (probabilistic grammars).  Of course, from the beginning,
probabilistic and statistical methods have been  heavily  used in
game theory and decision theory. Often separate to the discussion
on applications  of probabilistic  methods is an important philo-
sophical debate  over the  precise meaning of  probabilistic  and statistical  statements.  This  debate  often raises  a number of
issues crucial to understanding how to interpret results achieved
using probabilistic methods.

We understand this  conference as an  interdisciplinary venue for
researchers  that  use probabilistic  and statistical  methods in
their respective fields  and researchers  that are concerned with
the philosophical  interpretation  of probability  and statistics
to exchange ideas, approaches and techniques.   Such a forum will
facilitate discussions about  the applicability of  probabilistic
methods and  help  ground foundational  debates with  concerns of
practitioners of  probabilistic methods.

*****************************************************************
TOPICS OF INTEREST
*****************************************************************

FotFS VI topics of interest include, but are not limited to:

* What is probability?
* Probability in AI
* Probabilistic Automata
* Bayesian Epistemology
* Probability in Linguistics
* Probabilistic Computation
* Foundations of Probability
* History of Probabilistic Thought
* Alternative Formalization of Randomness
* Foundations of Game Theory and Decision Theory
* Complexity of Randomness and Probabilistic Reasoning
* Probabilistic Proofs and the Foundations of Mathematics
* Combining Probability and Logic


*****************************************************************
INVITED SPEAKERS
*****************************************************************
* Luc Bovens (London)
* David Corfield (T%G�%@bingen)
* Branden Fitelson (Berkeley CA)
* Maria Carla Galavotti (Bologna)
* Anne-Sophie Godfroy-Genin (Paris)
* Peter Gr%G�%@nwald (Amsterdam)
* Joe Halpern (Ithaca NY)
* Barteld Kooi (Groningen)
* Teddy Seidenfeld (Pittsburgh PA)
* Special progicnet session:
      o Jan-Willem Romeijn (Amsterdam)
      o Greg Wheeler (Lisboa)
      o Jon Williamson (Canterbury)

*****************************************************************
SUBMISSION INSTRUCTIONS
*****************************************************************

If you wish to submit an  abstract for presentation  at FotFS VI, please send an e-mail with the following information in the body
of the e-mail (no attachments):

(*) For  each  author:  Full name,  Affiliation,  e-mail address,
    webpage [if an author has no webpage, state this clearly]

(*) An abstract of  at most 500 words  (including references,  if
    any). Try to keep the abstract free of symbols, if possible.

Submit this abstract before March 15, 2007 to
                   fotfs@math.uni-bonn.de

*****************************************************************
IMPORTANT DATES
*****************************************************************

* Abstract submission deadline: 15 March 2007
* Notification of authors: 29 March 2007
* Workshop: 2-5 May 2007

*****************************************************************
SCIENTIFIC AND ORGANIZING COMMITTEE
*****************************************************************

* Horacio Arl%G�%@ Costa (Pittsburgh PA)
* Benedikt L%G�%@we (Amsterdam)
* David Makinson (London)
* Eric Pacuit (Amsterdam, Coordinator)
* Jan-Willem Romeijn (Amsterdam)

*****************************************************************

(4)


Dear Colleague

Research postgraduates are invited to apply for the 2nd Masterclass
of the
British Postgraduate Philosophy Association: Normative Moral Theory
with
Professor Brad Hooker. The Masterclass will be held at the University
of
Reading on the 3rd and 4th of April 2007.

The BPPA Masterclass series offers selected philosophy research
students the
chance to work with a leading academic in their field. The
residential
setting, small group size, and workshop format, combine to create an
atmosphere that fosters both high level individual work and
collaborative
development of ideas. During the Masterclass participants will
develop and
discuss their own ideas via individual or small group presentations
under
the direction of the 'Master', who will respond to these
presentations, and
in addition will give a paper for discussion on his or her current
work.

We are happy to confirm that the Masterclass will be led by Professor
Brad
Hooker of the University of Reading; Professor Hooker has published
extensively on Normative Moral Theory.

Substantial bursaries are available for successful applicants thanks
to the
generous support of the AHRC.

If you would like to be considered for a place, please send an
expression of
interest, including a brief description of your area of research and
how you
hope to benefit from, and contribute to, the BPPA Masterclass, to
phil502@york.ac.uk. Shortlisted applicants will be asked to send
further
details in due course. Please feel free to email requests for further
information or to visit the BPPA website at www.bppa-online.org.

Sacha Stephens
Executive Secretary
British Philosophical Association
Philosophy Department
University of Hertfordshire
de Havilland Campus
Hatfield,
Hertfordshire  AL10 9AB
email: admin@britphil.ac.uk
web: http://www.britphil.ac.uk

(5)



PCC'07
The 6th International Workshop on
Proof Theory, Computation, Complexity

April 13-14, 2007
Swansea, United Kingdom

http://www.cs.swan.ac.uk/pcc07/

PCC'07 will be held in Swansea, on April 13-14, 2007. in conjunction with the British Mathematical Colloquium 2007 (BMC'07), April 16-19, 2007 (http://bmc.swansea.ac.uk/).


* Aims and Scope

The aim of PCC is to stimulate research in proof theory, computation,
and complexity, focusing on issues which combine logical and
computational aspects. Topics may include applications of formal
inference systems in computer science, as well as new developments in
proof theory motivated by computer science demands. Specific areas of
interest are (non-exhaustively listed) foundations for specification
and programming languages, logical methods in specification and
program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

Past PCC Workshops were held in Ilmenau (2006), Lisbon (2005), Dresden (2004), Dresden(2003), Tuebingen (2002).


* Contributions

PCC is intended to be a lively forum for presenting and discussing
recent work. Participants who want to contribute a talk are asked to
submit an abstract (LaTeX, 1-2 pages). The collection of abstracts
will be available at the meeting.

** Deadline:  March 2nd, 2007
** Please send your abstract to: csulrich@swansea.ac.uk


* Organization

The workshop is organized by

- Arnold Beckmann, Swansea
- Ulrich Berger, Swansea - Birgit Elbl, Muenchen
- Reinhard Kahle, Coimbra
- Oliver Kullmann, Swansea
- Monika Seisenberger, Swansea
- Anton Setzer, Swansea


* Registration and workshop fee

To register please send email to csulrich@swansea.ac.uk indicating
your time of arrival and departure and whether you need assistance in
finding accommodation.  There is no fixed registration deadline, but
in order to be able to help you with booking accommodation it is recommended to REGISTER AS EARLY AS POSSIBLE.

The workshop fee is 20 GBP, payable in cash at the beginning
of the workshop.

Participation at PCC'07 is independent of participation at BMC'07, but
we highly recommend to use the opportunity to take part at both
events.  For registration at BMC'07, see http://bmc.swansea.ac.uk/.


* UK Student grants

We hope be able to provide some grants for UK students that will cover
travel and accommodation. Please email csulrich@swansea.ac.uk for
further information.

(6)


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







Home Index

+++++++++++++++++++++++++++

Page maintained by E.Ritter@cs.bham.ac.uk

Last modified: Thu Jan 25 18:49:47 GMT 2007