BLC Newsletter March 2010


 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]

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

1) Meltdown at GLLC at Kings: http://sites.google.com/site/kclgllcmeltdown
with links to letters of protest. BLC signed the 
Letter from the BPA and UK Learned Societies in Philosophy.

2)  LMS/EPSRC Short Instructional Course `Model theory', University of
Leeds, July 18--23 2010. 

3) The Marie Curie Framework 7 Initial Training Network MALOA `From
Mathematical Logic To Applications' has advertised EIGHT PhD
positions. Deadline for applications 31 March.

4) TIME 2010 - call for papers, deadline 12 April 2010.

5) CFP Studia Logica, issue on Logic and Natural Language: 
deadline 3rd September 2010.

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

1) Meltdown at GLLC at Kings: http://sites.google.com/site/kclgllcmeltdown
with links to letters of protest. BLC signed the
Letter from the BPA and UK Learned Societies in Philosophy.

2) LMS/EPSRC Short Instructional Course `Model theory', University of
Leeds, July 18--23 2010. Courses by D. Evans (UEA), B. Zilber
(University of Oxford), M. Tressl (University of Manchester), and
additional lectures by A.J. Macintyre (QMUL), A. Pillay (University of
Leeds), J. Pila (Universities of Bristol/Oxford). Organiser:
H.D. Macpherson (University of Leeds). See
http://www.lms.ac.uk/activities/rmc/sc/51poster.html 

The course is
intended for PhD students in model theory, for PhD students in other
areas of logic with an interest in model theory, and for PhD students
in other areas of mathematics whose work may interact with model
theory. It may also be of interest to postdoctoral researchers. Some
background in first order logic (e.g. compactness and applications)
will be assumed.


3) The Marie Curie Framework 7 Initial Training Network MALOA `From
Mathematical Logic To Applications' has advertised EIGHT PhD
positions, one each at: The Universities of Leeds, Manchester, Oxford,
Paris VII, Munster, Munich; also two at Lyon 1 (combined with Lyon
Ecole Normale Superieure). The deadline for applications is 31 March
2010. For details see http://www.logique.jussieu.fr/MALOA/


4)

                 TIME 2010 - First Call for Papers

                Seventeenth International Symposium on
                Temporal Representation and Reasoning

                  Paris, France, 6-8 September 2010

              http://www.lsv.ens-cachan.fr/Events/TIME10/


The TIME symposium series is a well-established annual event that brings
together researchers from all areas of computer science that involve temporal
representation and reasoning. This includes, but is not limited to, artificial
intelligence, temporal databases, and the verification of software and
hardware systems. In addition to fostering interdisciplinarity, the TIME
symposia emphasize bridging the gap between theoretical and applied research.

TIME'10 encompasses three tracks, but has a single program committee. The
conference will span three days, and will be organized as a combination of
technical paper presentations, poster sessions, and keynote lectures.

                        ================================
                                IMPORTANT DATES
                        ================================

Abstract Submission:     9 April 2010
Paper Submission:        12 April 2010
Paper Notification:      20 May 2010
Camera Ready Copy Due:   4 June 2010
TIME'10 Symposium:       6-8 September 2010

                        ================================
                                   TOPICS
                        ================================

Track 1: Temporal Representation and Reasoning in AI
--------------------------------------------------------------
- temporal aspects of agent- and policy-based systems
- spatial and temporal reasoning
- reasoning about actions and change
- planning and planning languages
- ontologies of time and space-time
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- temporal information extraction
- time in natural language processing
- spatio-temporal knowledge representation systems
- spatio-temporal ontologies for the semantic web

Track 2: Temporal Database Management
--------------------------------------------------------------


--------------------------------------------------------------
- temporal data models and query languages
- temporal query processing and indexing
- temporal data mining
- time series data management
- stream data management
- spatio-temporal data management, moving objects
- data currency and expiration
- indeterminate and imprecise temporal data
- temporal constraints
- temporal aspects of workflow and ECA systems
- real-time databases
- time-dependent security policies
- privacy in temporal and spatio-temporal data
- temporal aspects of multimedia databases
- temporal aspects of e-services and web applications
- temporal aspects of distributed systems
- novel applications of temporal database management
- experiences with real applications

Track 3: Temporal Logic and Verification in Computer Science
--------------------------------------------------------------
- specification and verification of systems
- verification of web applications
- synthesis and execution
- model checking algorithms
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics for distributed systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- tools and practical systems
- temporal issues in security

			================================
                       		INVITED SPEAKERS
                        ================================

Track 1: Ian Hodkinson, Imperial College London
Track 2: Bart Kuijpers, Hasselt University
Track 3: Martin Leucker, University of Munich


			================================
                       		PAPER SUBMISSION
                        ================================

Submissions of high quality papers describing research results or on-going
work are solicited. Submitted papers should contain original, previously
unpublished content, should be written in English, and must not be
simultaneously submitted for publication elsewhere.


Submitted papers will be refereed by at least three reviewers for quality,
correctness, originality, and relevance. Accepted papers will be presented at
the symposium and included in the proceedings, which will be published by the
IEEE Computer Society Press. Acceptance of a paper is contingent on one author
presenting the paper at the symposium.

Submissions should be in PDF format (with the necessary fonts embedded). They
must be formatted according to the IEEE guidelines described at

     ftp://pubftp.computer.org/press/outgoing/
                proceedings/8.5x11 - Formatting files/instruct.pdf

and must not exceed 8 pages; over-length submissions may be rejected without
review.

Papers are submitted electronically via Easychair:

	http://www.easychair.org/conferences/?conf=time10

			================================
                              CONFERENCE OFFICERS
                        ================================

- General Chair:
    Ian Pratt-Hartmann, University of Manchester, UK

- Program Committee Chairs:
    Nicolas Markey, CNRS & ENS Cachan, France
    Jef Wijsen, University of Mons, Belgium

- Organization Chair:
    Nicolas Markey, CNRS & ENS Cachan, France

			================================
                       		PROGRAM COMMITTEE
                        ================================

- Alessandro Artale, Free University of Bozen-Bolzano, Italy
- Howard Barringer, University of Manchester, UK
- Batrice Brard, University Paris 6 - Pierre & Marie Curie, France
- Claudio Bettini, University of Milan, Italy
- Davide Bresolin, University of Verona, Italy
- Thomas Brihaye, University of Mons, Belgium
- Jan Chomicki, University at Buffalo, NY, USA
- Stphane Demri, CNRS & ENS Cachan, France
- Clare Dixon, University of Liverpool, UK
- Michael Fisher, University of Liverpool, UK
- Nissim Francez, The Technion, Israel
- Roman Kontchakov, Birkbeck College, UK
- Savas Konur, University of Liverpool, UK
- Martin Lange, University of Munich, Germany
- Ranko Lazic, University of Warwick, UK
- Inderjeet Mani, Brandeis University, MA, USA
- Angelo Montanari, University of Udine, Italy
- Bernhard Nebel, University of Freiburg, Germany
- Hans-Jrgen Ohlbach, University of Munich, Germany
- Paritosh K. Pandya, Tata Institute of Fundamental Research, India
- James Pustejovsky, Brandeis University, MA, USA
- Jean-Franois Raskin, Free University of Brussels, Belgium
- Peter Revesz, University of Nebraska-Lincoln, NE, USA
- Mark Reynolds, University of Western Australia, Australia
- David Toman, University of Waterloo, Canada
- X. Sean Wang, University of Vermont & NSF, USA
- Michael Winter, Brock University, Canada
- Michael Zakharyaschev, Birkbeck College, UK
- Carlo Zaniolo, University of California at Los Angeles, CA, USA

			================================
                              ORGANIZING COMMITTEE
                        ================================

- Romain Brenguier, ENS Cachan, France
- Stphane Demri, CNRS & ENS Cachan, France
- Virginie Gunard, CNRS & ENS Cachan, France
- Franois Laroussinie, University Paris 7 - Diderot, France

			================================
                              FURTHER INFORMATION
                        ================================

Questions related to submission, reviewing, and program should be sent to
time10@lsv.ens-cachan.fr

Questions related to local organization should be sent to
time10-org@lsv.ens-cachan.fr


5) Call for papers: special Issue of Studia Logica on

                    Logic and Natural Language


Perhaps the most fundamental characteristic of the twentieth century
revolution in mathematical logic is the central role assumed by formal,
rather than natural, languages. For the founding fathers of the new
logic, natural language was a barrier to progress---one to be swept
aside by the new, logically perspicuous syntax of the Predicate
Calculus. This dissociation of formal logic from natural language
was subsequently compounded by the rise of theoretical linguistics,
which---notwithstanding its early stress on the relationship between
grammar formalisms and models of computation---developed in relative
isolation from mathematical logic.  Only towards the end of the
twentieth century did work on the relationship between natural and
formal languages begin to gather pace. Two convergent trends can be
discerned. The first is a growing realization that the characteristics
of natural languages that most clearly differentiate them from formal
languages---oddly restricted expressive power, redundancy, vagueness,
ambiguity---are themselves worthy objects of logical study. The second
is an ever livelier interest among formal linguists in logical aspects
of grammar---a development which is itself a manifestation of the
deepening relationship between logic and the theory of computation.

Today, researchers in Logic, Linguistics, Philosophy and Computer
Science face a constellation of questions on the relationship between
natural language and logic.  What logical resources are required to
articulate formal grammars of various sorts? What formal systems best
account for the logical relations between sentences in natural
language? What light can formalization of natural language shed on the
difficulty of language-processing tasks? How does the treatment of
quantification (time, modality) in natural and formal languages
differ?

Studia Logica invites contributions to a special issue on "Logic and
Natural Language", edited by Nissim Francez (Technion, Haifa) and Ian
Pratt-Hartmann (University of Manchester). It is envisaged that the
issue will comprise papers in two broad areas: (i) the use of logical
techniques in the presentation and analysis of grammar formalisms;
(ii) investigation of the logical characteristics (expressiveness,
complexity, proof-theory) of natural language.  We specifically,
though not exclusively, invite submissions on the following topics:

- Logical analyses of NL syntax and semantics (e.g. model-theoretic
  syntax, type-logical grammars, abstract categorial grammars)
- The connection between NL, substructural logics and higher-order logics
- Type-theory and NL
- Logics for non-indicative sentences (questions, commands, ...)
- Dynamic logics for discourse
- Logics of plurality (plural predication, plural quantification)
- Logics of ambiguity
- Modal, temporal and spatial logics in NL
- Complexity-and proof-theoretic analysis of fragments of NLs
- Logics capturing valid NL arguments ("natural logics"),
- Criticism of traditional mathematical logic based on arguments
  originating from NL
- Modern formalization of Classical and Mediaeval logics.

Submitted papers should not exceed 25 pages (including bibliography),
formatted according to the Studia Logica LaTeX style (for detailed
instructions, see http://www.studialogica.org/), and should be
accompanied by a title page containing the following information:
paper title, authors' names, email address and telephone number of the
contact author, a short abstract and up to five keywords. Authors'
names should not appear on the paper itself.  Only electronic
submissions will be accepted. The authors should send an email with
subject "Studia Logica Special Issue on Logic and Language" to the
issue editors (ipratt@cs.man.ac.uk), with the file of the paper as an
attachment.



Deadline for submission of manuscripts to the issue editors:
   3rd September, 2010.

---------------------------------------------------------
1) BLC meeting 2010: 2-4 September 2010, Birmingham.

2) Logic, Algebra and Truth Degrees 2010: 
CFP, submission deadline 20 March 2010

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

1) BLC meeting 2010 will be held on the 2-4 September 2010
in Birmingham. Web site will be published soon.

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

2) Logic, Algebra and Truth Degrees 2010
  September 7 - 11, Prague, Czech Republic
  
  
Logic, Algebra and Truth Degrees is the second official
meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic
(www.mathfuzzlog.org).

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic
which studies the notion of comparative truth. The assumption that
"truth comes in degrees" has proved to be very useful in many, both
theoretical and applied, areas of Mathematics, Computer Science and
Philosophy.
  
The main goals of this meeting are to foster collaboration between
researchers in the area of Mathematical Fuzzy Logic and to promote
communication and cooperation with members of neighbouring fields.
  
The featured topics include, but are not limited to, the
following:
  
  *  Proof systems for fuzzy logics: Hilbert, Gentzen,
  natural deduction, tableaux, resolution, computational complexity,
  etc.
  
  *  Algebraic semantics: residuated lattices,
  MTL-algebras, BL-algebras, MV-algebras, Abstract Algebraic Logic, functional
  representation, etc.
  
  *  Game-theory: Giles games, Renyi-Ulam games, evaluation games, etc.
  
  *  First-order fuzzy logics: axiomatizations,arithmetical hierarchy,
  model theory, etc.
  
  *  Higher-order fuzzy logical systems: type theories,
  Fuzzy Class Theory, and formal fuzzy mathematics.
  
  *  Philosophical issues: connections with vagueness
  and uncertainty.
  
  *  Applied fuzzy logical calculi: foundations of fuzzy
  logical programming, logic-based reasoning about similarity,
  fuzzy description logics, etc.
  
We also welcome contributions on any relevant aspects of related
logical systems (such as substructural and quantum logics, and
many-valued logics in general).
  
  
  Invited speakers:
  Arnon Avron, Israel
  Felix Bou, Spain
  Agata Ciabattoni, Austria
  Roberto Cignoli, Argentina
  Ioana Leustean, Romania
  Franco Montagna, Italy
  Hiroakira Ono, Japan
  James G. Raftery, South Africa
  
  
  Tutorials:
  George Metcalfe, Switzerland - Proof theory for fuzzy
  logics
  Vilem Novak, Czech Republic - Mathematical fuzzy logic in
  linguistic
  semantics
  
  
  Programme Committee:
  Petr Hajek (Chair), Czech Republic
  Antonio Di Nola, Italy
  Christian Fermuller, Austria
  Siegfried Gottwald, Germany
  Daniele Mundici, Italy
  Carles Noguera, Spain
  Ales Pultr, Czech Republic
  
  
  Contributed papers: If you are interested in presenting a paper,
  please submit a 2-4 page abstract at
  http://www.easychair.org/conferences/?conf=latd2010.  Your
  submission will be confirmed automatically on the e-mail address you
  provide. The accepted abstracts will be available on-line after the
  final decision of the program committee. If you have any problems to
  submit an abstract, please contact us at mail to:
  latd2010(at)matfuzzlog.org
  
  
  Deadline: The deadline for contributions is 20th March 2010. The
  notification of acceptance/rejection will be sent until 30th April
  2010.
  
  
  Expression of interest: It would help us if you could express a
  tentative interest by filling the form at
  http://www.mathfuzzlog.org/latd2010/interest.php
  




Home Index

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

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

Last modified: Mon May 10 18:35:29 BST 2010