BLC Newsletter February 2008

BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

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

President           Professor J M E Hyland [Cambridge]
Vice-President      Professor T Williamson FBA FRSE [Oxford]
Treasurer           Professor D Macpherson [Leeds]
Secretary           Dr N Alechina [Nottingham]
                    Dr U Berger [Swansea]
                    Dr E Ritter [Birmingham]
                    Dr G Wilmers [Manchester]

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

Enclosed is a new edition of our newsletter. Please send me any
announcements to circulate for the next one (to nza(at)cs.nott.ac.uk).

Best wishes, Natasha.

-----------------------------------------------------------


(1) Reminder of user name and password for the members' area of the webpage
(2) Minutes of the 2007 AGM are attached.
(3) Preliminary announcement of BLC 2008 (in Nottingham)
(4) Logic seminars in Leeds
(5) IJCAR last call for papers (deadline 22 February)
(6) Russell'08
(7) AiML08 (8) ILLC conference mailing
(9) LICS 113 newsletter



--------------------------------------------------------
-------------------------------------------------------
(1)

Just a reminder that the members' area on the BLC web page has
the following user name and password:

User name: blc
Password: BLCPages


-------------------------------------------------------

(2)
Minutes of the Annual General Meeting of the BLC held on 7 September 2007 in London are attached.


---------------------------------------------------------

(3)

BLC 2008 will be held in Nottingham on 4-6 September. The list
of invited speakers who accepted so far: Ulrich Kohlenbach, Dexter Kozen,
Hannes Leitgeb, Michael Moortgat, Alan Weir, Michael Zakharyaschev.

More information will be on the BLC web page soon.

---------------------------------------------------------

(4) LEEDS LOGIC SEMINARS

The programme for the Leeds seminars is now finalised up until the end of
May. Titles, speakers and times of talks are listed below. All seminars
will take place in the Mathematics Active Learning Lab (MALL 1 and 2) on
level 8 of the mathematics department building. Updated details can be
found at http://www.maths.leeds.ac.uk/pure/logic/seminar.html

January 30th at 4.30pm    Klaus Aehlig (Swansea)
Proof Notations and Cut-Elimination

February 6th at 4.00pm    Jouko Vaananen (Amsterdam/Helsinki)
Interpolation in abstract model theory

February 13th at 4.30pm    Marcus Tressl (Manchester)
Continuous Functions With a View Towards o-Minimal Structures

February 20th at 4.00pm    Franck Benoist (Leeds)
Definability in Hasse differential fields and related geometric questions

February 27th at 4.00pm    Martin Hyland (Cambridge)
TBA

March 5th at 4.00pm        John Tucker (Swansea)
Computability and Experimental Procedures Applied to Physical Systems

March 12th at 4.30pm       Philip Welch (Bristol)
Transfinite Computation and a problem of Richter

March 19th at 4.00pm       Andrew Lewis (Leeds)
On the Degree Spectrum of a \Pi0_1 Class

April 16th at 4.00pm       Alex Simpson (Edinburgh)
TBA

April 23rd at 4.00pm       Benedikt Loewe (Amsterdam)
TBA

May 7th at 4.00pm          Ioanna Dimitriou (Bonn)
TBA

May 21st at 4.00pm         Felix Costa (Swansea/Lisbon)
TBA

Andy Lewis (Seminar organiser)
http://aemlewis.co.uk/

-------------------------------------------------------------------------------

(5) IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning
                 Sydney, Australia, 10th - 15th August, 2008

                            http://2008.IJCAR.org

                             Last Call for Papers
                             --------------------

               ================================================
               | Paper Registration Deadline is 22nd February |
               ================================================

IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning,
and is a merger of leading events:
  CADE (Conference on Automated Deduction),
  FroCoS (Workshop on Frontiers of Combining Systems),
  FTP (Workshop on First-order Theorem Proving) and
  TABLEAUX (Conference on Analytic Tableaux and Related Methods)

IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.

Conference chair: Peter Baumgartner (NICTA)


Call for Papers
===============

IJCAR 2008 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. See the IJCAR website for a detailed list of logics, methods, and applications of interest. The proceedings of IJCAR 2008 will be published by Springer-Verlag in the LNAI/LNCS series.

Submission details: Submission is electronic, through
    http://www.easychair.org/conferences/?conf=IJCAR2008 Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers. The page limit is 7 pages for short system descriptions that provide brief overviews or target recent developments. Full system descriptions that provide in-depth presentation of original ideas in an implemented system can be submitted as full papers. All full papers will be evaluated according to highest standards in terms of originality, significance, technical quality, and readability.

Program co-chairs:
  Alessandro Armando (Universit`a di Genova)
  Peter Baumgartner (NICTA)
  Gilles Dowek (l'Ecole Polytechnique)

Important dates:
  Paper registration deadline:                     22nd February 2008
  Paper submission deadline:                           3rd March 2008
  Notification of paper decisions:                    18th April 2008
  Final version of papers due:                          23rd May 2008
  Conference dates:                             12th-15th August 2008


-------------------------------------------------------------------------------

(6)
                Proof Theory meets Type Theory


     A "Small Workshop" of the European TYPES Project

             Swansea, Wales, 15-16 March 2008

    http://cs.swan.ac.uk/~csetzer/russell08/index.html


 In 1908 the British Philosopher and Mathematician Bertrand Russell,
 who was born and died in Wales, published the article "Mathematical
 Logic as based on the Theory of Types" which contained a first matured
 exposition of Type Theory.  In the same year, Ernst Zermelo's
 "Untersuchungen ueber die Grundlagen der Mengenlehre I" introduced the
 basis of current axiomatic set theory as an alternative approach to
 the foundations of Mathematics.  A central theme of Proof Theory is to
 compare these different foundations.  Proof Theory uses as its main
 tool ordinal notation systems, the basis of which was laid by Oswald
 Veblen in his paper "Continuous Increasing Functions of Finite and
 Transfinite Ordinals", again in 1908.

 A century later, Proof Theory and Type Theory are flourishing more
 than ever before, and their manifold interconnections are driving
 important developments in Mathematics and Computer Science.

 At this workshop we meet and discuss cutting edge research at the
 interface of Proof Theory and Type Theory.

 Topics of interest include, but are not limited to:

   - Proof Theory of Type Theory
   - Relationship between Type Theory and Set Theory
   - Program extraction from proofs
   - Normalisation and Cut-elimination
   - New approaches to ordinal analysis
   - Universes and reflection principles
   - Equality in Type Theory
   - Philosophical and historical aspects
     of Proof Theory and Type Theory

 Invited Speakers: To be confirmed.

 Participation and Contributed Talks:

  Please send an email to Anton Setzer (a.g.setzer@swansea.ac.uk)
  as soon as possible, but no later than the 29th of February 2008.

--------------------------------------------------------------------

(7)


              SECOND CALL FOR PAPERS

                    AiML-2008
              ADVANCES in MODAL LOGIC
    9-12 September 2008, LORIA, Nancy, France
               http://aiml08.loria.fr

DEADLINE: 31 March 2008

Advances in Modal Logic is an initiative aimed at presenting
an up-to-date picture of the state of the art in modal logic
and its many applications. The initiative consists of a
conference series together with volumes based on the conferences.

AiML-2008 is the seventh conference in the series.

TOPICS
We invite submission on all aspects of modal logics, including
the following:

- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic
  + complexity and decidability of modal and temporal logics
  + modal and temporal logic programming
  + model checking
  + theorem proving for modal logics
- theoretical aspects of modal logic
  + algebraic  and categorical perspectives on modal logic
  + coalgebraic modal logic
  + completeness and canonicity
  + correspondence and duality theory
  + many-dimensional modal logics
  + modal fixed point logics
  + model theory of modal logic
  + proof theory of modal logic
- specific instances and variations of modal logic
  + description logics
  + dynamic logics and other process logics
  + epistemic and deontic logics
  + modal logics for agent-based systems
  + modal logic and game theory
  + modal logic and grammar formalisms
  + provability and interpretability logics
  + spatial and temporal logics
  + hybrid logic
  + intuitionistic logic
  + monotonic modal logic
  + substructural logic

Papers on related subjects will also be considered.

INVITED SPEAKERS
Invited speakers at AiML-2008 will include the following:

- Mai Gehrke, Radboud Universiteit Nijmegen
   http://www.math.ru.nl/mgehrke/
- Guido Governatori, The University of Queensland
   http://www.itee.uq.edu.au/~guido/
- Agi Kurucz, King's College London
   http://www.dcs.kcl.ac.uk/staff/kuag/
- Lawrence Moss, Indiana University
   http://www.indiana.edu/~iulg/moss/
- Michael Zakharyaschev, Birkbeck College
   http://www.dcs.bbk.ac.uk/~michael/

PAPER SUBMISSIONS
In a change from previous AiML's, there will be two types of paper:

(1)  Full papers for publication and presentation at the conference.
(2)  Abstracts for short presentation only.

Both types of  paper should be submitted electronically using the
submission page at

             http://www.easychair.org/AiML08/

The online submission system will be opened a few weeks before the
submission deadline of 31 March 2008.

(1) FULL PAPERS
These will be published by College Publications

             http://www.collegepublications.co.uk

in a volume to be made available at the meeting. Authors are invited to
submit for review a full paper, not submitted elsewhere.  It should be
at most 15 pages plus optionally a technical appendix of up to 5 pages,
together with a plain-text abstract of say 100-200 words.

To appear in the conference volume, papers must be prepared in LaTeX
using the style files to be provided at   http://aiml08.loria.fr . At
least one author of each accepted paper must register for and attend the
conference to present the paper.

(2) ABSTRACTS
These should at most 5 pages.  They may describe preliminary
results, work in progress etc., and will be subject to light review.
They may be made available at the conference, and authors should
indicate if they would like to make a short presentation of their
abstract of up to 15 minutes.

PROGRAMME COMMITTEE
Alessandro Artale     (Free University of Bolzano, Italy)
Philippe Balbiani     (IRIT, Toulouse, France)
Alexandru Baltag      (University of Oxford, UK)
Guram Bezhanishvili   (New Mexico State University, USA)
Patrick Blackburn     (LORIA, France)
Stephane Demri        (CNRS, Cachan, France)
Melvin Fitting        (City University of New York, USA)
Guido Governatori     (University of Queensland, Australia)
Silvio Ghilardi       (University of Milano, Italy)
Valentin Goranko      (University of the Witwatersrand, South Africa)
Rajeev Gore           (The Australian National University, Australia)
Andreas Herzig        (IRIT, Toulouse, France)
Ian Hodkinson         (Imperial College London, UK)
Ramon Jansana         (University of Barcelona, Spain)
Alexander Kurz        (University of Leicester, UK)
Carsten Lutz          (Dresden University of Technology, Germany)
Edwin Mares           (Victoria University of Wellington)
Larry Moss            (Indiana University, USA)
Dirk Pattinson        (Imperial College London, UK)
Mark Reynolds         (University of Western Australia, Australia)
Ildiko Sain           (Hungarian Academy of Sciences)
Ulrike Sattler        (University of Manchester, UK)
Renate Schmidt        (University of Manchester, UK)
Jerry Seligman        (University of Auckland, New Zealand)
Valentin Shehtman     (Moscow State University, Russia)
Nobu-Yuki Suzuki      (Shizuoka University, Japan)
Yde Venema            (ILLC, University of Amsterdam, The Netherlands)
Heinrich Wansing      (Dresden University of Technology, Germany)
Frank Wolter          (University of Liverpool, UK)
Michael Zakharyaschev (Birkbeck College, London, UK)

PROGRAMME CO-CHAIRS
Carlos Areces
LORIA, Nancy
carlos.areces(at)loria.fr

Rob Goldblatt
Victoria University of Wellington
rob.goldblatt(at)mcs.vuw.ac.nz

LOCAL ORGANIZER
Patrick Blackburn
LORIA, Nancy
patrick.blackburn(at)loria.fr

IMPORTANT DATES
Submission deadline: 31 March 2008
Acceptance notification: 31 May 2008
Final version of full papers due: 30 June 2008
Conference: 9-12 September 2008

CONFERENCE LOCATION
Advances in Modal Logic 2008 will be held at LORIA (Laboratoire
Lorrain de Recherche en Informatique et ses Applications) in Nancy,
in the Lorraine, in the east of France.

FURTHER INFORMATION
Information about AiML-2008 will be available at the conference
website: http://aiml08.loria.fr

E-mail enquiries should be directed to the local
organizer or the program co-chairs.

Information about AiML itself can be obtained at
http://www.aiml.net

-----------------------------------------------------------------

(8)

ILLC Conference Mailing 2007-12


1) ANNOUNCEMENTS

- 13-14 March 2008, The simulating brain: An interdisciplinary
workshop on the role of simulation in cognition.
- 18-20 March 2008, An International Conference ANALYTIC PHILOSOPHY
AND ASIAN THOUGHT, Kyoto University, Japan (CFP, submission deadline:
31 January 2008)
- 3-4 April 2008, "Logic and the Simulation of Interaction and
Reasoning" (Symposium at AISB 2008), Aberdeen, Scotland (CFP,
submission deadline: 9 January 2008)
- 7-9 April 2008, VAGUENESS and LANGUAGE USE, Paris, ENS & Institut
Jean-Nicod (CFP, submission deadline: 15 January 2008)
- The 16th Annual Harvard-MIT Graduate Student Philosophy Conference
(CFP, submission deadline: 18 January 2008)
- 13-16 May 2008, 21st International Workshop on Description Logics
(DL'08), Dresden, Germany (CFP, submission deadline: 15 February 2008)
- 29 May - 1 June 2008, 2008 International Workshop on Truth Values,
Dresden, Germany
- 1-4 July 2008, 15th Workshop on Logic, Language, Information and
Computation (WoLLIC 2008), Edinburgh, Scotland (CFP, submission
deadline: 24 February 2008)
- 7-9 July 2008, 8th Conference on Real Numbers and Computers (RNC8),
Santiago de Compostela, Spain (CFP, submission deadline: 8 February
2008)
- 14-18 July 2008, 5th European Congress of Mathematics, RAI Center,
Amsterdam, The Netherlands
- 15-18 July 2008, Ninth Conference on Deontic Logic in Computer
Science (DEON'08), Luxembourg, Luxembourg (CFP, submission deadline:
11 January 2008)
- 18-19 September 2008, 1st International Workshop on Language
Diversity and the Acquisition of Linguistic Semantic Knowledge,
Wroclaw, Poland (CFP, submission deadline: 27 March 2008)


2) CONFERENCES THIS MONTH

- 3-14 December 2007, Logic Summer School, The Australian National
University (ANU)
- 5-7 December 2007, "Mathematical Aspects of Computer and Information
Sciences" MACIS 2007, Paris, France
- 5 December 2007, Set Theory and Its Neighbours 16, London, UK
- 2007 7-9 December 2007, IADIS International Conference on Cognition
and Exploratory Learning in Digital Age (CELDA 2007), Algarve,
Portugal
- 14-15 December 2007, Workshop on Automata and Logic, History and
Perspectives, Aachen, Germany
- 14-15 December 2007, PALMYR-VI : Truth, Logic and Games, Amsterdam,
the Netherlands
- 15-17 December 2007, The Eighth Asian Symposium on Computer
Mathematics (ASCM 2007), Singapore
- 17-19 December 2007, Sixteenth Amsterdam Colloquium 2007, Amsterdam
- 17-19 December 2007, 3rd Indian International Conference on
Artificial Intelligence (IICAI-07), Pune, India
- 17 December 2007, Symposium "Reflections on Type Theory, Lambda
Calculus and the Mind", Celebrating Henk Barendregt's 60th birthday,
Nijmegen, The Netherlands


3) CALLS FOR PAPERS

- 10-13 July 2008, Music and Language II, Tufts University, Boston,
USA (deadline: 1 December 2007)
- 15-17 February 2008, Conference "Because", Geneva, Switzerland
(deadline: 1 December 2007)
- 7-12 June 2008, 3rd International Computer Science Symposium (CSR
2008), Moscow, Russia (deadline: 9 December 2007)
- 13-18 July 2008, WCP4, The Fourth World Congress of Paraconsistency,
Melbourne, Australia (deadline: 15 December 2007)
- 18-21 June 2008, 7th Congress of the International Society for the
History of Philosophy of Science (HOPOS-2008), Vancouver BC, Canada
(deadline: 15 December 2007)
- 10-15 August 2008, International Joint Conference on Automated
Reasoning (IJCAR 2008), Sydney, Australia (deadline: 17 December 2007)
- Special Issue of Studia Logic: 'Many valued Logic and Cognition'
(deadline: 31 December 2007)
- 21-25 Februari 2008, 9th Szklarska Poreba Workshop on the Roots of
Pragmasemantics, Szklarska Poreba, Poland (deadline: 1 January 2008)
- 4-18 August 2008, ESSLLI 2008 Student Session, Hamburg, Germany (deadli=
ne: 15 February 2008)


1) ANNOUNCEMENTS

- 13-14 March 2008, The simulating brain: An interdisciplinary
workshop on the role of simulation in cognition.
Location: FC Donders Centre for Cognitive Neuroimaging in Nijmegen,
The Netherlands

Simulation is proposed as a mechanism for a vast spectrum of
cognitions, ranging from learning motoric skills to understanding
other's intentions and emotions. Within cognitive neuroscience,
simulation-based accounts of cognitive abilities have become hugely
popular following the discovery of mirror neurons in the mid-nineties.
These neurons are activated both by the observation and production of
a particular action, suggesting that the observer implicitly simulates
the action with his/her own motor system in order to understand it.

In this symposium we will investigate how far we can take the
simulation account for understanding the mind. To this end, several
leading figures from complementary fields of cognitive science will
address issues like: 'What do we simulate when we observe others?' 'Do
we simulate to understand or to predict?' 'How do we understand
actions that we cannot simulate?'

For more information, see http://oase.uci.ru.nl/~florisdl/simulation/


- 18-20 March 2008, An International Conference ANALYTIC PHILOSOPHY
AND ASIAN THOUGHT, Kyoto University, Japan

In recent years, fresh encounters have taken place between analytic
philosophy and Asian thought. Contemporary analytic and logical tools
have been applied to interpret Asian philosophies, while the rich
variety of traditional ideas in the latter gives new perspectives in
analytic philosophy. This conference is organized to enhance this
trend, as well as to assess its status quo. Any tradition of Asian
philosophy is included, though the emphasis of the conference is
likely to be in areas related to Buddhism, such as Zen and other
Mahayana schools, and Japanese philosophy such as Kyoto.

We invite submissions of papers at most two pages by 31 January 2008.
For more information, see
http://homepage2.nifty.com/ydeguchi/apat2008/

- 3-4 April 2008, "Logic and the Simulation of Interaction and
Reasoning" (Symposium at AISB 2008), Aberdeen, Scotland

In the past years, logicians have become more and more interested in
the phenomenon of interaction. The area "logic and games" deals with
the transition from the static logical paradigm of formal proof and
derivation to the dynamic world of intelligent interaction and its
logical models. A number of conferences and workshops have been
dealing with logic in game and decision theory and dynamic logics with
announcement and action operations. Fruitful technical advances have
led to deep insights into the nature of communicative interaction and
behaviour by logicians.

While these interactive aspects are relatively new to logicians, on a
rather different level, modelling intelligent interaction has been an
aspect of the practical work of computer game designers, researchers
in artificial intelligence, robotics, and human-machine interaction
for a long time. The practical aspects of simulating interaction and
behaviour reach out to a wide interdisciplinary field including
psychology and cognitive science.

So far, there are only a few cross-links between these two
communities. Our symposium will explore the possibilities of joining
the theoretical approach to interaction and communication with the
practical approach to simulating behaviour. We would like to include
purely logical aspects, cognitive and psychological aspects (including
empirical testing of formal models), and pragmatic aspects.

This symposium is sponsored by the ILLC GLoRiClass project.

All researchers from logic, artificial intelligence, computer science,
cognitive science, computer gaming, psychology, empirical game theory,
and many other fields are cordially invited to submit abstracts of one
to four papers in PDF format. Submission deadline is January 9, 2008.


For more information, see
http://www.illc.uva.nl/GLoRiClass/index.php?page=3D8_1 or
http://www.aisb.org.uk/convention/aisb08/

- 7-9 April 2008, VAGUENESS and LANGUAGE USE, Paris, ENS & Institut
Jean-Nicod
Target group: linguists and philosophers, see CFP
Costs: no conference fees
Promotores: Paul Egr=E9 (IJN) & Nathan Klinedinst (UCL/IJN)

Vagueness is a pervasive phenomenon in natural language, which appears
to be instantiated in nearly all lexical categories (including
adjectives, nouns, verbs, and quantifiers). In recent years, progress
has been made, both in philosophy and in linguistics, to characterize
the sources as well as the varieties of vagueness. At the foundational
level, a central debate concerns the epistemic vs. semantic nature of
the vagueness phenomenon, and the proper understanding of the relation
between the notions of vagueness, ambiguity, context-dependence, and
imprecision. In linguistic theory, some significant advances have been
made on the semantics of gradable adjectives and on the role and
behavior of vagueness related adverbs (such as "clearly",
"approximately", and "definitely").

These advances raise the question of how empirical studies of language
may bear on the debate about the nature of vagueness, and whether they
can help to adjudicate between competing accounts (epistemic vs.
semantic theories, contextualist vs. non-contextualist accounts). In
addition to that, a number of issues remain open for investigation: is
vagueness manifested and resolved in the same way across lexical
categories (nouns vs. adjectives, logical vs. non-logical
expressions)? How is the vagueness of lexical items blocked or
inherited in larger semantic units (e.g. in comparative
constructions), and what can this tell us about its nature? How do
various theories explain the fact that we use vague terms successfully
to communicate meaning in spite of their vagueness? The aim of this
conference will be to bring together linguists and philosophers, with
contributions on both the foundational and the empirical aspects of
the phenomenon of vagueness in natural language.

Deadline for submission: January 15, 2008. For Conference Description
and details of the CFP, see:
http://paulegre.free.fr/Vagueness/index.html or contact
vagueness.paris08@gmail.com.

- The 16th Annual Harvard-MIT Graduate Student Philosophy Conference
Time: Saturday 26 April 2008

The Harvard-MIT Gradute Philosophy Conference is an annual philosophy
conference for graduate students organized by graduate students at
Harvard and MIT. For the 2008 edition, the conference will be a one
day event on April 23rd. The conference venues will be Emerson Hall,
at Harvard, and the Stata Center, at MIT. This year's Keynote Speaker
will be Professor Thomas Scanlon (Harvard University).

We seek submissions from graduate students in any area of philosophy.
Submissions due: Friday, January 18, 2008.

For more information, see http://web.mit.edu/gradphilconf/ or contact
gradphilconf@mit.edu.

- 13-16 May 2008, 21st International Workshop on Description Logics
(DL'08), Dresden, Germany

The DL workshop is the major annual event of the description logic
research community. The workshop is a gathering forum to meet, discuss
and exchange experiences among all those, both in academia and
industry, who are interested in description logics and their
applications.

We invite contributions on all aspects of description logics. Paper
submission deadline: 15 February 2008.

For more information, see http://dl.kr.org/dl2008/

- 29 May - 1 June 2008, 2008 International Workshop on Truth Values,
Dresden, Germany

For more information, an online registration form and a preliminary
program, see http://www.truthvalues2008.com/

- 1-4 July 2008, 15th Workshop on Logic, Language, Information and
Computation (WoLLIC 2008), Edinburgh, Scotland

WoLLIC is an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning. Each meeting includes invited talks and
tutorials as well as contributed papers.

Contributions are invited on all pertinent subjects, with particular
interest in cross-disciplinary topics. A title and single-paragraph
abstract should be submitted by February 24.

For more information, see http://www.cin.ufpe.br/~wollic/wollic2008/

- 7-9 July 2008, 8th Conference on Real Numbers and Computers (RNC8),
Santiago de Compostela, Spain

The aim of the symposia on "Real Numbers and Computers" is to bring
together specialists from various research areas, all concerned with
problems related to computations based on real numbers. These
computations may use any number system implemented by a software
package or in hardware, including floating and fixed point, integers,
rational or p-adic numbers, serial or on-line computations, continued
fractions, fixed or multiple precision, interval and stochastic
arithmetic.

Original research results and insightful analyses of current concerns
are solicited for submission. Survey and tutorial articles may be
suitable for submission if clearly identified as such. Deadline for
submission of manuscripts is February 8, 2008. The journal Information
& Computation will publish a special issue following RNC8.

For more information, see http://www.ac.usc.es/rnc8/

- 14-18 July 2008, 5th European Congress of Mathematics, RAI Center,
Amsterdam, The Netherlands

On Monday the program will start with an Opening Ceremony, followed by
the Prize Giving Ceremony and a Plenary lecture. In the afternoon
there will be parallel Invited lectures and Prize lectures, followed
by a Plenary lecture. In the evening we scheduled a special program,
the Brouwer medal ceremony, organized by KWG.

On the other days the conference offers Plenary, Science, Invited and
Prize lectures, four sessions of mini-symposia, and an industrial
round table meeting on Tuesday. On Thursday, KWG organizes the
so-called Beeger lecture. During the conference, participants will get
the occasion to present posters about their research.

For more information, see http://www.5ecm.nl/

- 15-18 July 2008, Ninth Conference on Deontic Logic in Computer
Science (DEON'08), Luxembourg, Luxembourg

The biennial DEON conferences are designed to promote
interdisciplinary cooperation amongst scholars interested in linking
the formal-logical study of normative concepts and normative systems
with computer science, artificial intelligence, philosophy,
organisation theory and law. In addition to these general themes,
DEON2008 will encourage a special focus on the topic "Security and
Trust".

Authors are invited to submit an original, previously unpublished,
research paper pertaining to any of the topics of interest to
DEON2008. The deadline for submission is 11 January 2008.

For further information, see the DEON'08 website at
http://deon2008.uni.lu/.

- 18-19 September 2008, 1st International Workshop on Language
Diversity and the Acquisition of Linguistic Semantic Knowledge,
Wroclaw, Poland

The proportion of Web pages written in English keeps decreasing, but a
majority of text-handling tools and techniques have been developed for
English and tested on English resources. Many languages have been
reasonably well served by the existing systems, but large typological
differences (complex morphology, rich inflection, freer-order syntax,
not to mention cultural biases) tend to make those tools and resources
less than fully adequate. This may be particularly true of deeper
processing, including the acquisition of natural language semantics
from text.

The workshop seeks to explore methodologies developed from scratch for
a variety of languages, and perhaps their reapplication to the
processing of English texts. We target the problem of automatic
extraction of some form of natural language semantics from corpora and
application of the knowledge extracted in that way in systems that
deal with natural language.

The workshop is affiliated with the 6th International Conference on
Multimedia and Network Information Systems

We invite submissions on topics in the general spirit of the workshop.
Work on any language is welcome; we particularly encourage submissions
related to "less privileged" languages. The workshop will be held in
English. To suit the host conference, papers on applications of the
semantic knowledge extracted from text will also be considered; such
applications include machine translation, parsing, sentiment analysis,
information retrieval, information extraction, and text mining.
Submission deadline is March 27, 2008.

For more information, see http://www.zsi.pwr.wroc.pl/MISSI2008/LDALSK/



2) CONFERENCES THIS MONTH

- 3-14 December 2007, Logic Summer School, The Australian National
University (ANU)

The Computer Sciences Laboratory in the Research School of Information
Sciences and Engineering at The Australian National University will
host the Logic Summer School from the 3 to the 14 of December 2007, at
the Physics G6 lecture theatre at the ANU. The School will consist of
short courses on aspects of pure and applied logic taught by experts
from Australia and overseas. In addition to the scheduled courses,
time will be set aside each day for practical classes, discussions and
software demonstrations.

"We call this, 'two weeks of wall-to-wall logic'. The Logic and
Computation group at ANU believe that logic is not just about
computers, or computer scientists. We say that anything that makes
sense can be subjected to logical analysis, which means that this
School is attractive to any IT professionals, educators in logic and
undergraduate students planning to do research in logic-related
fields."

Deadline for early registration: 2 November 2007. For more
information, see http://lss.rsise.anu.edu.au/.

- 5-7 December 2007, "Mathematical Aspects of Computer and Information
Sciences" MACIS 2007, Paris, France

Mathematical Aspects of Computer and Information Sciences (MACIS) is a
new series of conferences where foundational research on theoretical
and practical problems of mathematics for computing and information
processing may be presented and discussed. MACIS also addresses
experimental and case studies, scientific and engineering computation,
design and implementation of algorithms and software systems, and
applications of mathematical methods and tools to outstanding and
emerging problems in applied computer and information sciences.

Each conference focuses on two or three themes. The themes for MACIS
2007 are: Computational Geometry and Computer Aided Geometric Design,
Polynomial System Solving and Algorithms and Complexity

For more information, see http://www-spiral.lip6.fr/MACIS2007/

- 5 December 2007, Set Theory and Its Neighbours 16, London, UK

A one-day conference in the series "Set theory and its neighbours"
will take place on Wednesday, 5th December 2007 at the Department of
Mathematics, University College London, 25 Gordon Street, London, WC1.
There is no registration fee for the meeting.

We aim to keep the meetings fairly relaxed, allowing plenty of
opportunity for informal discussion. We welcome and encourage anyone
to participate. Please do tell anyone about the meeting who you think
may be interested in it. We are happy for you to email us to let us
know if you intend to come, but you are also very welcome simply to
turn up on the day if you make a late decision. And let us know if you
would like to speak or have ideas for speakers at future meetings.

For more information, see
http://www.ucl.ac.uk/~ucahcjm/stn/stn16.html.

- 2007 7-9 December 2007, IADIS International Conference on Cognition
and Exploratory Learning in Digital Age (CELDA 2007), Algarve,
Portugal

The IADIS CELDA 2007 conference aims to address the main issues
concerned with evolving learning processes and supporting pedagogies
and applications in the digital age. There have been advances in both
cognitive psychology and computing that have affected the educational
arena. The convergence of these two disciplines is increasing at a
fast pace and affecting academia and professional practice in many
ways. This conference aims to cover both technological as well as
pedagogical issues related to these developments.

For more information, see http://www.celda-conf.org/

- 14-15 December 2007, Workshop on Automata and Logic, History and
Perspectives, Aachen, Germany

The workshop, which is held on the occasion of Wolfgang Thomas's 60th
birthday, is devoted to the theory of automata and its connection to
mathematical logic, verification, and games.

The workshop will take place in Aachen, December 14 - 15, 2007 at the
premises of the Computer Science Department of the RWTH Aachen. It
will start on Friday, December 14, in the early afternoon, and will
finish on Saturday, December 15, around noon. There is no registration
fee, but registration is mandatory via the workshop homepage.

For more information, see
http://www-i2.informatik.rwth-aachen.de/Events/WAL07/

- 14-15 December 2007, PALMYR-VI : Truth, Logic and Games, Amsterdam,
the Netherlands

Truth, one might think, is at the heart of reasoning, and of logic.
But logic has moved on from bivalence. - Witness intuitionistic,
quantum and paraconsistent logics. Furthermore, truth itself is a
philosophically sticky subject: The jury is still out as to whether it
is nothing (as the view of the deflationist can be caricatured) or
everything (including the basis for a theory of meaning, as the
truth-conditional semanticist might hold). This movement away from a
classical reliance on the received views on truth has, in logic, come
accompanied with alternative (notably game-theoretical) semantics for
logical languages.

We want to know what young researchers working on philosophical or
technical issues related to contemporary theories of truth think about
all this. Therefore we have decided that PALMYR VI will bring them
together, along with two more experienced guest speakers, so that we
can determine exactly that.

For more information, see http://www.illc.uva.nl/PALMYR/PALMYR-6/.

- 15-17 December 2007, The Eighth Asian Symposium on Computer
Mathematics (ASCM 2007), Singapore

The Asian Symposium on Computer Mathematics (ASCM) is a series of
conferences which serves as a forum for participants to present
original research, learn of research progress and developments, and
exchange ideas and views on doing mathematics using computers. ASCM
2007 will consist of invited talks, regular sessions of contributed
papers, and software demonstrations.

For more information, see http://www.comp.nus.edu.sg/~ascm2007/ or
contact raja@tifr.res.in

- 17-19 December 2007, Sixteenth Amsterdam Colloquium 2007, Amsterdam

The Amsterdam Colloquia aim at bringing together linguists,
philosophers, logicians and computer scientists who share an interest
in the formal study of the semantics and pragmatics of natural and
formal languages. The spectrum of topics covered ranges from
descriptive (syntactic and semantic analyses of all kinds of
expressions) to theoretical (logical and computational properties of
semantic theories, philosophical foundations, evolution and learning
of language).

For more information, see

http://www.illc.uva.nl/AC2007/

- 17-19 December 2007, 3rd Indian International Conference on
Artificial Intelligence (IICAI-07), Pune, India

The 3rd Indian International Conference on Artificial Intelligence
(IICAI-07) will be held in Pune, INDIA during December 17-19 2007.
IICAI-07 is one of the major AI events in the world. This conference
focuses on all areas of AI and related fields. Please visit on the
conference website for more details.

For more information, see http://www.iiconference.org/

- 17 December 2007, Symposium "Reflections on Type Theory, Lambda
Calculus and the Mind", Celebrating Henk Barendregt's 60th birthday,
Nijmegen, The Netherlands

Invited speakers include Corrado B=F6hm, Mariangiola Dezani-Ciancaglini,
Jan Willem Klop, Jean-Jacques L=E9vy, Giuseppe Longo, Bill Phillips,
Gordon Plotkin, Anne Speckens and Richard Statman.

Please register by sending a mail to barendregt60@cs.ru.nl before 10
december. For more information, see http://www.cs.ru.nl/barendregt60/



3) CALLS FOR PAPERS

- 10-13 July 2008, Music and Language II, Tufts University, Boston,
USA

This conference follows the successful conference on Music and
Language held at Cambridge University in summer 2007. The conference
will be held at Tufts University Perry and Marty Granoff Music Center.
We will be honoring Ray Jackendoff and Fred Lerdahl on the occasion of
the 25th Anniversary of their seminal work, "A Generative Theory of
Tonal Music".

We invite participants and presenters from all fields (music,
psychology, linguistics, cognitive science, anthropology, etc.). Paper
and poster submissions will be due by December 1, 2007. Further
details about the conference and the paper/poster submission form will
be available shortly on our website at: go.tufts.edu/musicandlanguage

For more information, see http://musicandlanguage.tufts.edu/

- 15-17 February 2008, Conference "Because", Geneva, Switzerland

The Department of Philosophy of the University of Geneva and the
Genevan centre of metaphysics EIDOS organize a conference entitled
"Because", which will take place from the 15th to the 17th of February
2008 in Geneva. This three-day conference will be devoted to the topic
of non-causal explanatory links.

We welcome submissions on the topic of the conference for 60 minute
talks followed by a 30 minute discussion. The language of the
conference is English. Submission deadline is December 1st, 2007.

For more information, see
http://www.unige.ch/lettres/philo/because.html or contact Fabrice
Correia at fabricecorreia@gmail.com.

- 7-12 June 2008, 3rd International Computer Science Symposium (CSR
2008), Moscow, Russia

CSR 2008 is the third conference in a series of regular events started
with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in
Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of
international cooperation in computer science. CSR 2008 consists of
two tracks: Theory Track and Applications and Technology Track.

Authors are invited to submit an extended abstract or a full paper of
at most 10 pages. Papers must present original (and not previously
published) research. Deadline: December 9, 2007.

For more information, see http://csr2008.ru/ or email:
info@csr2008.ru.

- 13-18 July 2008, WCP4, The Fourth World Congress of Paraconsistency,
Melbourne, Australia

The conference will focus on all areas related to paraconsistency,
especially
* Systems of paraconsistent logic
* Inconsistent mathematics
* Paraconsistency and information processing
* Paraconsistency and the philosophy of mathematics
* Paraconsistency and the philosophy of science
* Paraconsistency and the philosophy of logic

We invite submission of an abstract of no more than one page (250
words) by December 15. Email your submission to
wcp4-submission@unimelb.edu.au. Text or PDF are preferred formats for
submission, MS Word is acceptable.

For more information, see http://www.philosophy.unimelb.edu.au/wcp4/
or subscribe to the announcement mailing list wcp4-info by sending the
message 'subscribe wp4-info' to mailserv@unimelb.edu.au.

- 18-21 June 2008, 7th Congress of the International Society for the
History of Philosophy of Science (HOPOS-2008), Vancouver BC, Canada

The International Society for the History of Philosophy of Science
(HOPOS) will hold its seventh international congress in Vancouver,
Canada, June 18-21, 2008. The conference is open to scholarly work on
the history of philosophy of science from any disciplinary
perspective.

Submissions of abstracts of papers of approximately 25-30 minutes'
reading length, and of symposia of three to four thematically related
papers will be considered for the program. All submissions must be
received by 15 December 2007.

For more information, see http://www.hopos.org/hopos2008

- 10-15 August 2008, International Joint Conference on Automated
Reasoning (IJCAR 2008), Sydney, Australia

IJCAR 2008 is the 4th International Joint Conference on Automated
Reasoning, and is a merger of leading events CADE, FroCoS, FTP and
TABLEAUX. IJCAR is the premier international joint conference on all
aspects of automated reasoning, including foundations,
implementations, and applications. The IJCAR technical program will
consist of presentations of high-quality original research papers,
system descriptions and invited talks. There will be two days of
workshops and tutorials, 10th and 11th August, and the conference 12th
to 15th August.

IJCAR 2008 invites submissions related to all aspects of automated
reasoning, including foundations, implementations, and applications.
Original research papers and descriptions of working automated
deduction systems are solicited (deadline for paper registration: 22nd
February 2008), as well as workshop and tutorial proposals (deadline
for proposal submissions: 17th December 2007).

For more information, see http://2008.IJCAR.org/

- Special Issue of Studia Logic: 'Many valued Logic and Cognition'

Further to the highly successful Studia Logica International
Conference Trends in Logic V, held in Guangzhou, China, during July
6-9, 2007, we cordially invite you to submit a paper for a special
issue of Studia Logica devoted to Many-valued Logic and Cognition.

For more information, contact the Guest editors, Shier Ju
(hssjse@mail.sysu.edu.cn) and Daniele Mundici (mundici@math.unifi.it).
To submit, please send the PDF file of your paper to both editors
before December 31, 2007.

- 21-25 Februari 2008, 9th Szklarska Poreba Workshop on the Roots of
Pragmasemantics, Szklarska Poreba, Poland

This is to announce the ninth installment of the workshop that takes
linguists and experimental philosophers to the ski slopes. It will be
held February 21-25 2008, on the mountaintop Szrenica, Poland (the
same location as every year).

The workshop aims to bring together linguists, philosophers,
logicians, and all others interested in the semantics and pragmatics
of natural language. This year the theme is Complexity and Language -
as usual this 'hot topic' should not exclude submissions on other
subjects, but talks relating typical Szklarska Poreba concerns to
complexity are especially welcome. We prefer new and original ideas,
even if the material is not fully ripe and the presentation still
tentative.

We invite authors to submit a one-page abstract to Jakub Szymanik
before January 1st, for a talk of between 30 and 45 minutes (including
discussion). Very welcome would also be proposals for the
non-scientific programme. The possibility exists to hire cross-country
skis, however we need to know in advance who would be interested and
(crucially) how big their feet are.

For more information, see
http://staff.science.uva.nl/~sjagerde/szklarska/ or
http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3D2118.

- 4-18 August 2008, ESSLLI 2008 Student Session, Hamburg, Germany

The aim of the Student Session is to give an opportunity to students
at all levels (Bachelor-, Master- and PhD-students) to present and
discuss their work in progress with a possibility to get feedback from
senior researchers.

The programme committee invites submissions of papers for oral and
poster presentation and for appearance in the proceedings. We welcome
submissions with topics within the areas of Logic, Language and
Computation. Each year, 18 papers are selected for oral presentation
and a number of others for poster presentation. SUBMISSION DEADLINE is
15 February 2008.

For more information, see http://staff.science.uva.nl/~kbalogh/StuS13


---------------------------------------
*For further information and previous announcements please go to our
web page: http://www.illc.uva.nl/NewsandEvents/
*For submissions please use the online submission form at
http://www.illc.uva.nl/NewsandEvents/submit-newsentry.html

Office of:
Institute for Logic, Language and Computation (ILLC)
University of Amsterdam
Plantage Muidergracht 24
1018 TV Amsterdam
The Netherlands
tel: +31 (20) 5256051,
fax: +31 (20) 5255206,
e-mail: illc@science.uva.nl
http://www.illc.uva.nl/

---------------------------------------------------------------------

(9) LICS Newsletter 113 January 14, 2008

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

TABLE OF CONTENTS
* ANNOUNCEMENTS
 LICS 2008 - Abstract Deadline TODAY
 LICS 2008 - List of Workshops
* AWARDS
 Ackermann Award 2008 - Call for Nominations
* CONFERENCES AND WORKSHOPS
 RUSSELL 2008 - PROOF THEORY MEETS TYPE THEORY
 WORKSHOP ON MODAL FIXPOINT LOGICS
 CSL 2008 - Call for Papers/Panels/Workshops
 CAV 2008 - Call for Papers
 AMAST 2008 - Call for Papers
 CONCUR 2008 - Call for Papers
* POSITIONS
 POSTDOCTORAL POSITION AT INRIA NANCY (FRANCE)
 

LOGIC IN COMPUTER SCIENCE (LICS) 2008
* The deadline for submitting a title and short abstract to LICS 2008
 is TODAY, Monday January 14 11:59pm EST.  * The deadline for extended abstracts is   11:59pm EST, Monday, January 21, 2008.


LOGIC IN COMPUTER SCIENCE (LICS) 2008
 There will be five workshops co-located with LICS 2008.
* June 21:  (CoLocated with CSF)
 - FCS-ARSPA-WITS
    (L.Bauer, S.Etalle, J.den Hartog, L.Vigano)
 - Security and Rewriting, SecRet2008
    (Dan Dougherty, Santiago Escobar)
* June 22:
 - FCS-ARSPA-WITS (continued from the 21st)
 - Proof-Carrying Code PCC08
   (Ian Stark, David Aspinall)
* June 23:
 - Intuitionist Modal Logics and Applications IMLA08
   (Valeria de Paiva, Aleks Nanevski)
 - International Workshop on Logical Frameworks and MetaLanguages (LFMTP)
   (Andreas Abel, Christian Urban)


ACKERMANN AWARD 2008 - THE EACSL OUTSTANDING
DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
 Call for Nominations
* Eligible for the 2008 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.2006 and 31.12. 2007.
* The deadline for submission is 15.3.2008.
* 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 laudation
      in the CSL proceedings,
    - travel support to attend the conference.
* The 2008 Ackermann Award will be presented to the recipients at the
 annual conference of the EACSL (CSL'08).
* 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, G. Plotkin
    (Edinburgh);
    - J. van Benthem (Amsterdam)
    - B. Courcelle (Bordeaux);
    - M. Grohe (Berlin);
    - M. Hyland (Cambridge);
    - A. Razborov (Moscow and Princeton).
    - possibly one more member to be appointed by the EACSL Board
* The jury is entitled to give more than one award per year.
* The previous Ackermann Award recipients were:
 2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind;
 2006: Stefan Milius and Balder ten Cate;
 2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang.
* For the three years 2007-2009,
 the Award is sponsored by Logitech, S.A., Romanel, Switzerland,
 the worlds leading provider of personal peripherals.


RUSSELL'08 - PROOF THEORY MEETS TYPE THEORY
 A "Small Workshop" of the European TYPES Project
 Call for Participation and Contributed Talks
 Swansea, Wales, 15-16 March 2008
 http://cs.swan.ac.uk/~csetzer/russell08/index.html
* In 1908 the British Philosopher and Mathematician Bertrand Russell,
 who was born and died in Wales, published the article "Mathematical
 Logic as based on the Theory of Types" which contained a first
 matured exposition of Type Theory.  In the same year, Ernst Zermelo's
 "Untersuchungen ueber die Grundlagen der Mengenlehre I" introduced
 the basis of current axiomatic set theory as an alternative
 approach to the foundations of Mathematics.   A central theme of Proof Theory is to compare these different
 foundations.  Proof Theory uses as its main tool ordinal notation
 systems, the basis of which was laid by Oswald Veblen in his paper
 "Continuous Increasing Functions of Finite and Transfinite
 Ordinals", again in 1908.  A century later, Proof Theory and Type Theory are flourishing more
 than ever before, and their manifold interconnections are driving
 important developments in Mathematics and Computer Science.
 At this workshop we meet and discuss cutting edge research at the
 interface of Proof Theory and Type Theory.
* Topics of interest include, but are not limited to:
 Proof Theory of Type Theory;  Relationship between Type Theory and
 Set Theory; Program extraction from proofs; Normalisation and
 Cut-elimination; New approaches to ordinal analysis Universes and
 reflection principles;  Equality in Type Theory; Philosophical and
 historical aspects of Proof Theory and Type Theory
* Invited Speakers: To be confirmed.
* Participation and Contributed Talks:
 Please send an email to Anton Setzer (a.g.setzer@swansea.ac.uk)
 as soon as possible, but no later than the 29th of February 2008.


WORKSHOP ON MODAL FIXPOINT LOGICS
 Call for contributions
 March 25-27, Amsterdam, the Netherlands
 Organizers: Luigi Santocanale and Yde Venema.
* The aim of the workshop is to bring together researchers from
 various
 backgrounds, in particular, computer scientists and pure logicians,
 in order to discuss modal fixpoint logics from various perspectives,
 including those of model theory, proof theory, algebra and duality,
 and automata theory.
* Deadline for submission of contributed papers: February 1, 2008.
* Invited speakers: Giovanna D'Agostino, Johan van Benthem, Marcello
 Bonsangue, Dietmar Berwanger,  Erich Graedel (to be confirmed),
 Dexter Kozen (to be confirmed), Giacomo Lenzi, Damian Niwinski,
 Colin Stirling, Thomas Studer, Albert Visser, Igor Walukiewicz,
 and Thomas Wilke (to be confirmed).
* Further information can be found at
 http://staff.science.uva.nl/~yde/mfl



21st IEEE Computer Security Foundations Symposium (CSF)
    Pittsburgh, PA, USA, June 23-25, 2008
    Sponsored by the Technical Committee on Security and Privacy
                    of the IEEE Computer Society
* CSF 2008 website:  http://www.cylab.cmu.edu/CSF2008/
 CSF home page:     http://www.ieee-security.org/CSFWweb/
 CSF CFP:           http://www.cs.chalmers.se/~andrei/CSF08/cfp.html
* The IEEE Computer Security Foundations (CSF) series brings together
 researchers in computer science to examine foundational issues in
 computer security. Over the past two decades, many seminal papers and
 techniques have been presented first at CSF. The CiteSeer Impact page
 (http://citeseer.ist.psu.edu/impact.html ) lists CSF as 38th out of
 more than 1200 computer science venues, top 3.11% in impact based on
 citation frequency.
* This year's CSF will be colocated with the 23rd IEEE Symposium on
 Logic in Computer Science (LICS). It will be held at Carnegie Mellon
 University in Pittsburgh, Pennsylvania, USA.
* We are proud to announce a joint CSF/LICS invited speaker: David
 Basin.
* New theoretical results in computer security are welcome. Also welcome
 are more exploratory presentations, which may examine open questions
 and raise fundamental concerns about existing theories. Panel
 proposals are sought as well as papers. Possible topics include, but
 are not limited to:
 - Access control
 - Anonymity and Privacy
 - Authentication
 - Data and system integrity
 - Database security
 - Decidability and complexity
 - Distributed systems security
 - Electronic voting
 - Executable content
 - Formal methods for security
 - Information flow
 - Intrusion detection
 - Language-based security
 - Network security
 - Resource usage control
 - Security for mobile computing
 - Security models
 - Security protocols
 - Trust and trust management
* While CSF welcomes submissions beyond these topics, note that the main
 focus of CSF is foundational security: submissions that lack
 foundational aspects risk rejection.
* Proceedings, published by the IEEE Computer Society Press, will be
 available at the symposium, and selected papers will be invited for
 submission to the Journal of Computer Security.
* Important Dates
 Workshop proposals due:       Tuesday, November 20, 2007
 Papers due:                   Tuesday, January 29, 2008
 Panel proposals due:          Thursday, March 6, 2008
 Notification:                 Monday, March 17, 2008
 Camera-ready papers:          Wednesday, April 9, 2008
 Symposium:                    June 23-25, 2008
* There are PDF and HTML versions of this call for papers at
 http://www.cs.chalmers.se/~andrei/CSF08/cfp.html.


CAV 2008 - 20TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
 Call for Papers
 Call for Nominations for CAV Award
 July 7-14, 2008, Princeton, NJ, USA
 http://www.princeton.edu/cav2008
* CAV 2008 is the 20th in a series dedicated to the advancement of the
 theory and practice of computer-aided formal analysis methods for
 hardware and software systems. CAV considers it vital to continue
 its leadership in hardware verification, maintain its recent momentum in
 software verification, and consider new domains such as biological
 systems. * Events:
 - CAV Award (please see website for Call for Nominations)
 - Four pre-conference (July 7, 8), three post-conference (July 14)
   workshops
* Important dates:
  - Jan 28, 2008: Paper submission deadline
  - Jan 28, 2008: Nominations for CAV Award deadline
  - March 26, 2008: Author notification for papers
* Details available on conference website.



AMAST 2008 - 12th INTERNATIONAL CONFERENCE ON ALGEBRAIC METHODOLOGY
AND SOFTWARE TECHNOLOGY
 Call for Papers
 July 28-31, 2008, Urbana, Illinois, United States
 http://amast08.cs.uiuc.edu
* The major goal of the AMAST conferences is to promote research
 towards setting software technology on a firm, mathematical basis.
 Work towards this goal is a collaborative, international effort
 with contributions from both academia and industry. The envisioned
 virtues of providing software technology developed on a mathematical
 basis include: correctness, which can be proved mathematically;
 safety, so that developed software can be used in the implementation
 of critical systems; portability, i.e., independence from computing
 platforms and language generations; and evolutionary change, i.e.,
 the software is self-adaptable and evolves with the problem domain.
* Topics of interest include: systems software technology;
 application software technology; concurrent and reactive systems;
 formal methods in industrial software development; formal techniques
 for software requirements, design; evolutionary software/adaptive
 systems; logic programming, functional programming, object
 paradigms;
 constraint programming and concurrency; program verification and
 transformation; programming calculi; specification languages and
 tools; formal specification and development case studies; logic,
 category theory, relation algebra, computational algebra; algebraic
 foundations for languages and systems, coinduction; theorem proving
 and logical frameworks for reasoning; logics of programs; algebra
 and coalgebra. For system demonstrations or ordinary papers:
 software development environments; support for correct software
 development; system support for reuse; tools for prototyping;
 component based software development tools; validation and
 verification; computer algebra systems; theorem proving systems.
* Important dates: Abstract submission due: 1 March 2008;
 Paper submission due: 8 March 2008; Notification: 20 April 2008



19TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 08)
 Call for Papers
 Toronto, Canada, August 19-22, 2008
 http://www.cse.yorku.ca/concur08 * Submission deadline: April 11, 2008
* CONCUR 08, the 19th International Conference on Concurrency Theory,
 will take place in Toronto, Canada, on August 19-22, 2008.  The
 purpose of the CONCUR conferences is to bring together researchers,
 developers, and students in order to advance the theory of
 concurrency, and promote its applications (in a broad sense).
* CONCUR 08 will be collocated with the 27th Annual ACM SIGACT-SIGOPS
 Symposium on the Principles of Distributed Computing (PODC 2008).
 Furthermore, there will be a symposium celebrating the contributions
 of Nancy Lynch and a number of workshops on topics related to CONCUR
 and PODC.  The overall event will take place at the University of
 Toronto on August 17-24, 2008.
* CONCUR 08 welcomes two categories of papers:
 - regular papers;
 - tool papers.
* Submissions are solicited in all areas of semantics, logics,
 verification and analysis of concurrent systems.  The principal
 topics include (but are not limited to):
 - basic models of concurrency (such as abstract machines, domain
   theoretic models, game theoretic models, process algebras, and
   Petri nets);
 - logics for concurrency (such as modal logics, temporal logics and
   resource logics);
 - models of specialized systems (such as biology-inspired systems,
   circuits, hybrid systems, mobile systems, multi-core processors,
   probabilistic systems, real time systems, synchronous systems, and
   web services);
 - verification and analysis techniques for concurrent systems (such
   as abstract interpretation, atomicity checking, model-checking,
   race detection, run-time verification, state-space exploration,
   static analysis, synthesis, testing, theorem proving and type
   systems);
 - related programming models (such as distributed or object-oriented).
* The link for submissions is
 http://www.easychair.org/conferences/?conf=CONCUR08
* Important dates
 Abstract Submission: April 4, 2008
 Paper Submission: April 11, 2008 (strict)
 Notification: May 27, 2008
 Final version due: June 17, 2008
* Program committee
 Luca de Alfaro, University of California, Santa Cruz, USA
 Pedro R. D'Argenio, Universidad Nacional de Cordoba, Argentina
 Jos Baeten, Eindhoven University of Technology, the Netherlands
 Christel Baier, Technical University Dresden, Germany
 Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
 Dirk Beyer, Simon Fraser University, Canada
 Patricia Bouyer, LSV, CNRS & ENS Cachan, France
 Mario Bravetti, University of Bologna, Italy
 Franck van Breugel (co-chair), York University, Canada
 Ilaria Castellani, INRIA Sophia Antipolis, France
 Marsha Chechik (co-chair), University of Toronto, Canada
 Wan Fokkink, Vrije Universiteit Amsterdam/CWI, the Netherlands
 Rob van Glabbeek, National ICT Australia
 Arie Gurfinkel, Carnegie Mellon University, USA
 Anna Ingolfsdottir, Reykjavik University, Iceland
 Radha Jagadeesan, DePaul University, USA
 Barbara Koenig, University of Duisburg-Essen, Germany
 Marta Kwiatkowska, University of Oxford, UK
 Orna Kupferman, Hebrew University, Israel
 Kim Larsen, Aalborg University, Denmark
 Nancy Lynch, MIT, USA
 P. Madhusudan, UIUC, USA
 Ugo Montanari, University of Pisa, Italy
 Anca Muscholl, Universite Bordeaux, France
 Catuscia Palamidessi, INRIA Futurs and LIX, France
 Corina Pasareanu, Perot Systems/NASA Ames Research Center, USA
 Scott Smolka, SUNY at Stony Brook, USA
 Nobuko Yoshida, Imperial College London, UK



POSTDOCTORAL POSITION AT INRIA NANCY (FRANCE)
 Field: Computational Linguistics
 Topic: Surface realisation and large scale over-generation detection
* Deadline for application: February 15, 2008.
* Starting Date: 01 November 2008
* Employer: INRIA (French National Institute for Research in Computer
 Science) Nancy Grand Est (France)
* Job Description: The Lorraine Laboratory of IT Research and its
 Applications (Nancy, France) has a position for a Postdoctoral fellow
 to work on the development of a surface realiser for French.
* Applicants must have a ** recent doctoral degree ** (PhD viva held in
 may 2007 or later) or defend their PhD before the end of 2008. They
 must have expertise in an area relevant to the project (linguistics,
 computational linguistics, computer science), strong hands-on
 experience in Natural Language Processing and a particular interest in
 NL generation.  A good knowledge of Haskell is a necessity.
* Further particulars and details of how to apply are available at:
 http://www.loria.fr/~gardent
* The official closing date is February 15, 2007, but applications will
 be processed until the position is filled.
* Contact: Claire Gardent 




_______________________________________________
blc mailing list
blc@cs.nott.ac.uk
http://www.cs.nott.ac.uk/mailman/listinfo/blc


Home Index

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

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

Last modified: Fri Mar 28 18:28:11 GMT 2008