BLC Newsletter February 2006

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,

A lot of items for the newsletter reached me during January,
so I decided to produce one more newsletter this month. Here it is.
   Mirna Dzamonja.
-----------------------------------------------------------
(1) Computability in Europe 2006, paper deadline Feb 9, 2006
(2) MASTER OF SCIENCE IN LOGIC in Amsterdam
(3) Logic Seminars in Oxford
(4) Call for Papers for ICoS-5 (Inference in Computational
Semantics), a workshop to be held at Buxton in April 2006 (paper deadline
extension: Jan 27).
(5) FUNDING OPPORTUNITIES TO ATTEND COMPUTABILITY IN EUROPE 2006
(6) Leeds Logic Seminar, Spring 2006
(7) RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE
(8) FLoC'06 - Call for Papers
(9) Prize Competition: Vienna Goedel Meeting





----------------------------------------------------------
---------------------------------------------------------
(1) Computability in Europe 2006 :
          Logical Approaches to Computational Barriers
                     30 June - 5 July 2006
                      Swansea University

               http://www.cs.swansea.ac.uk/cie06/

                   FINAL  CALL  FOR  PAPERS

                  Deadline: FEBRUARY 9, 2006

(2)

[Please forward the following message to interested students with a(n
expected) BSc degree in Mathematics or Computer science or a BA degree in
Philosophy or Linguistics. We also have a PDF file of the poster available
at http://www.illc.uva.nl/MScLogic/poster.pdf]

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

You want to study logic. You enjoy an interdisciplinary approach to
research. You like to meet people from all over the world, join the

MASTER OF SCIENCE IN LOGIC

in Amsterdam. The MSc in Logic is truly interdisciplinary, international
and individual:

 (*) it combines mathematics, computer science, linguistics and philosophy
to give a broad view of logic,

 (*) its students come from all continents and many different countries,

 (*) and the course programme of each students is individually picked by
the student and his or her mentor under consideration of strengths,
weaknesses and interests of the student out of a total of over 40 courses.

The MSc in Logic covers the traditions of logic as well as the modern view
of logic as the study of encoding, transmission and comprehension of
information in natural, artificial and formal languages, providing a wide
range of applications in modern information society. Within two years, the
MSc leads to a highly respected research degree that opens the doors to
academic research at the highest level. Most of our graduates continue to
get a PhD in logic or a related field.

Interested students with a BSc or BA in a relevant field (for example,
mathematics, computer science, philosophy, linguistics, but also many
others) should apply. Candidates who took courses at the graduate (MSc or
PhD) level may apply for waivers and could finish the MSc in Logic in
three semesters or one year ("fast track").

Deadlines for applications (for the academic year starting September 1,
2006) are:

   April 1, 2006    for students from EU countries
   February 1, 2006    for students from other countries

We accept applications after the deadline, but cannot guarantee student
housing and/or a timely visa application procedure in this case.

Are you interested?
Find more information about us
on http://www.illc.uva.nl/MScLogic or contact

Ms Tanja Kassenaar
phone: +31 20 525 6519
email: gpil@science.uva.nl

======================================================================
(3)



                           Logic Seminars

The following seminars will take place in the Mathematical Institute at 3.15pm on Fridays.

20 Jan  Boris Zilber (Oxford)

         'Non-commutative geometry and new stable structures.'


27 Jan  Jonathan Kirby (Oxford)

         'Model theory of some differential equations'


3 Feb   Tba


10 Feb  Dugald Macpherson (Leeds)

         'Stable domination and algebraically closed fields'


17 Feb  Masanori Itai (Tokai)

         'A few remarks on quasi-minimal structures'


24 Feb  Nicholas Peatfield (Bristol)

         'Hurewicz theorems and Pillay's conjecture'


3 Mar   Angus Macintyre (QMUL)

         'Ultraproducts in commutative algebra and algebraic geometry'


                                                              A J Wilkie
(4)


            *** EXTENDED PAPER SUBMISSION DEADLINE ***

                        5th workshop on

              INFERENCE IN COMPUTATIONAL SEMANTICS

                            ICoS-5

                Buxton, England, 20-21 April 2006

             http://www.cs.man.ac.uk/~ipratt/ICoS-5/

             NEW Submission deadline: 27 January 2006

      Endorsed by SIGSEM, the Association for Computational
        Linguistics (ACL) Special Interest Group (SIG) on
                    computational semantics.

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


ABOUT ICOS
----------
Natural Language Processing has reached a stage where the exploration
and development of inference is one of its most pressing tasks. On the
theoretical side, it is clear that inference plays a key role in such
areas as semantic construction and the management of discourse and
dialogue. On the practical side, the use of sophisticated inference
methods could lead to improvements in application areas such as
natural language generation, automatic question answering, and spoken
dialogue systems.

ICoS-5 is intended to bring together researchers interested in
inference-oriented NLP from areas such as Computational Linguistics,
Artificial Intelligence, Computer Science, Formal Semantics, and
Logic.

We invite submissions addressing the theme of inference in
computational semantics broadly construed. Subjects relevant to ICoS-5
include but are not restricted to:

- natural language generation
- natural language pragmatics
- discourse and dialogue processing
- (spoken) dialogue systems
- underspecified representations - ambiguity resolution
- interfacing lexical and computational semantics
- lexically-driven inference
- inference for shallow semantics
- inference in question answering
- recognising textual entailment
- background knowledge: use and acquisition
- applications of semantic resources
  (e.g. CYC, WordNet, FrameNet, PropBank, ontologies)
- automatic ontology creation
- common-sense reasoning in NLP
- temporal and epistemic reasoning
- resource-bounded inference
- applications of automated reasoning
  (e.g. model building, model checking, theorem proving)
- alternative inference strategies
  (e.g. abduction, nonmonotonic reasoning, default)
- decidable fragments of natural language - controlled languages
- natural language inference in decidable logics
  (e.g. description logic)
- probabilistic and statistical approaches to inference
- machine learning and inference
- inference and information extraction and/or text mining
- novel applications (e.g. semantic web)
- evaluation methodologies and resources for inference
- robustness and scalability of inference
- system descriptions

Submitted papers should not exceed 10 pages (A4, single column, 12
point font) including references.  All submissions must be in PDF, and
must be sent by email to icos5@coli.uni-sb.de.


SYSTEM DEMONSTRATIONS
---------------------
We also encourage submission of papers describing systems that show
aspects of inference in computational semantics. There will be a
separate slot at the workshop where people can demonstrate their
systems. System descriptions should follow the same submission
guidelines as regular papers.


IMPORTANT DATES
---------------
     Submission Deadline: January 27, 2006.
     Notification: February 27, 2006.
     Final Versions: March 20, 2006.
     Conference: April 20-21, 2006.


INVITED SPEAKERS
----------------
     Christian Ebert (University of Bielefeld)
     Patrick Pantel  (ISI, University of Southern California)
     Stephen Pulman  (Oxford University)


PROGRAM COMMITTEE
-----------------
     Carlos Areces
     Peter Baumgartner
     Christoph Benzmueller
     Raffaella Bernardi
     Patrick Blackburn
     Johan Bos (co-chair)
     Harry Bunt
     Ann Copestake
     Dick Crouch
     Ido Dagan
     Kees van Deemter
     Nissim Francez
     Claire Gardent
     Alexander Koller (co-chair)
     Shalom Lappin
     Alex Lascarides
     Bernardo Magnini
     Katja Markert
     Dan Moldovan
     Jeff Pelletier
     Maarten de Rijke
     Michael Schiehlen
     Matthew Stone
     Bonnie Webber


PUBLICATION
-----------
As well as producing the workshop proceedings, we plan to publish a
selection of accepted papers as a book or special issue of a journal.

(5)


Please forward this to interested researchers and students.


*******************************************************************
FUNDING OPPORTUNITIES TO ATTEND COMPUTABILITY IN EUROPE 2006

This is just to clarify the various opportunities offered throught the organisers of CiE 2006 for PhD students and researchers from the Former Soviet Union to obtain funding to attend the conference.

The deadline for all the funding schemes has been fixed for MARCH 31, 2006

Full details of how to apply are available via the webpage:

http://www.cs.swan.ac.uk/cie06/give-page.php?14

ASL FUNDING:

CiE 2006 is an ASL sponsored meeting, so PhD students who have taken advantage of the ASL very favourable membership terms (or intend to do so soon), will be able to apply direct to them for a grant to attend. See:

http://www.aslonline.org/studenttravelawards.html

EPSRC FUNDING FOR UK-BASED PhD STUDENTS:

CiE 2006 has obtained generous support from the UK Engineering and Physical Sciences Research Council for UK-based PhD students. For these grants, application is direct to the conference organisers at cie06@swansea.ac.uk - see the website for details.

LMS FUNDING FOR UK-BASED PhD STUDENTS, AND fSU RESEARCHERS:

The London Mathematical Society funding for students is similar to that from EPSRC. In addition, there is funding for researchers from the Former Soviet Union, including some support for travel, as well as for accommodation, registration, etc. Again - application is direct to the organisers.

PRESENTERS OF PAPERS AT CiE 2006:

It is important to note that in allocating funding, the organisers will prioritise presenters of papers at CiE 2006. The submission date for submission for the LNCS Proceedings volume is:

THURSDAY FEBRUARY 9th, 2006

For details of the submission procedure, see:

http://www.cs.swan.ac.uk/cie06/give-page.php?12

Similarly, giving a talk at CiE 2006 will improve the chances of getting funding through the ASL scheme.

(6)

Subject: Leeds Logic Seminar Spring 2006, Term 2



  *********************************************************
  *                                                       *
  *                 LEEDS LOGIC SEMINAR                   *
  *                                                       *
  *                     Spring 2006                       *
  *                                                       *
  *********************************************************


February 1st   Anand Pillay (Leeds)

                "Model theory - pure and applied"


February 8th   Jeffrey Burdges (Manchester and Lyon)

                "Genericity arguments in connected groups
                 of finite Morley rank"


February 15th  Andreas Weiermann (Utrecht)

                 "The Ackermann function in finite combinatorics"


February 22nd  Jonathan Kirby (Oxford)

                 "Using model theory to solve equations"


March 1        Robert Lubarsky (Florida Atlantic University)

                 "Dedekind and Cauchy Reals in Intuitionistic Set
                 Theories"


March 8     Fourth SIGLaC Half-day Meeting on MATHEMATICAL ASPECTS
                  OF COMPUTATIONS (No Logic Seminar)


March 15th     Barry Cooper (Leeds)

                  "A Logical Overview of Natural Computation"


March 22nd     John Truss (Leeds)

                  "Some homogeneous and partially homogeneous
                  structures"

  The lectures will be held on Wednesdays at 4 pm in room H,
      Mathematics Building. Tea at 3.30 pm - all welcome.

For more up to date information check out
http://www.amsta.leeds.ac.uk/Pure/logic/seminar.html

 Michael Rathjen


(7)


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                               %
%                 Second Call for Papers                     %
%                                                               %
%       RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE        %
%                                                               %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


          Joint 9th International Conference on

         RELATIONAL METHODS IN COMPUTER SCIENCE

        and 4th International Workshop on

         APPLICATIONS OF KLEENE ALGEBRA

               (RelMiCS/AKA 2006)


          29 August - 2 September 2006
             Manchester, UK


           www.cs.man.ac.uk/relmics06/


GENERAL INFORMATION:

  The RelMiCS Conference is the main forum for the relational
  calculus as a conceptual and methodological tool.  The AKA
  Workshop is a forum on topics related to Kleene algebras. As in
  previous years, the two events are co-organised; they have a
  joint programme committee and joint proceedings.  RelMiCS/AKA
  2006 will be held from 30 August to 2 September 2006 in
  Manchester. Visit the conference website
  www.cs.man.ac.uk/relmics06/ for more information.


TOPICS:

  We invite submissions on the general topics of relations and
  Kleene algebra in computer science.  Special focus will be on
  formal methods for software engineering, logics of programs and
  links with neighbouring disciplines.  Particular topics of the
  conference cover, but are not limited to the theory of

  * relation algebras and Kleene algebras
  * related formalisms such as process algebras, fixed point
    calculi, idempotent semirings, quantales, allegories, dynamic
    algebras, cylindric algebras

  and their applications in areas such as

  * verification, analysis and development of programs and algorithms
  * algebraic approaches to logics of programs, modal and dynamic
    logics, interval and temporal logics
  * relational formal methods such as B or Z, tabular methods,
  * algebraic semantics of programming languages
  * graph theory and combinatorial optimisation
  * games, automata and language theory
  * mechanised and automated reasoning, decision procedures
  * spatio-temporal reasoning, knowledge acquisition, preference
    and scaling methods
  * information systems


INVITED SPEAKERS:

  * Ernie Cohen, Microsoft, USA
  * Roger D. Maddux, Iowa State University, USA
  * Jeff Sanders, Oxford University, UK


IMPORTANT DATES:

  A paper title and a short abstract of about 100 words must be
  submitted before the paper. All submissions will be electronic
  from the conference website.

  Abstract Submission:  27 February 2006
  Paper Submission:     6 March 2006
  Author Notification:  2 May 2006
  Camera-ready papers:  2 June 2006
  PhD Programme:        29 August 2006
  RelMiCS/AKA 2006:     30 August - 2 September 2006


SUBMISSION INSTRUCTIONS:

  Submissions must be in English, in postscript or pdf format and
  provide sufficient information to judge their merits.  They must
  be unpublished and not submitted for publication elsewhere.  They
  may not exceed 15 pages in Springer LNCS style and must be
  produced with LaTeX. Additional material may be provided by a
  clearly marked appendix or a reference to a manuscript on a
  website.  This may be considered at the discretion of the PC.
  Deviation from these requirements may cause immediate rejection.
  One author of each accepted paper is expected to present the
  paper at the conference.

  Detailed instructions for electronic submission can be found at
  the conference website. Formatting instructions and the LNCS
  style files can be obtained via
  http://www.springer.de/comp/lncs/authors.html.


PUBLICATION DETAILS:

  The proceedings of the conference will be published in the
  Springer LNCS series.  They will be available at the conference.


STUDENT PROGRAMME:

  A PhD training programme will be co-organised with the
  conference. Details will be published in a special call and on
  the conference website.


COMMITTEES:

  General Chair:
    Renate Schmidt, Manchester, UK, schmidt@cs.man.ac.uk

  Programme Chair:
    Georg Struth, Sheffield, UK, g.struth@dcs.shef.ac.uk

  Programme Committee:
    Roland Backhouse, Nottingham, UK
    Brandon Bennett, Leeds, UK
    Rudolf Berghammer, Kiel, Germany
    Stephane Demri, Cachan, France
    Jules Desharnais, Laval, Canada
    Zoltan Esik, Szeged, Hungary & Tarragona, Spain
    Marcello Frias, Buenos Aires, Argentina
    Hitoshi Furusawa, AIST, Japan
    Stephane Gaubert, INRIA, France
    Steven Givant, Mills College, USA
    Valentin Goranko, Witwatersrand, South Africa
    Martin Henson, Essex, UK
    Ali Jaoua, Quatar
    Peter Jipsen, Chapman University, USA
    Wolfram Kahl, McMaster, Canada
    Yasuo Kawahara, Kyushu, Japan
    Zhiming Liu, UNU-IIST Macao, China
    Bernhard Moeller, Augsburg, Germany
    Damian Niwinski, Warsaw, Poland
    Ewa Orlowska, Warsaw, Poland
    Alban Ponse, Amsterdam, The Netherlands
    Ingrid Rewitzky, Stellenbosch, South Africa
    Ildiko Sain, Hungarian Academy of Sciences
    Holger Schlingloff, Berlin, Germany
    Gunther Schmidt, Muenchen, Germany
    Renate Schmidt, Manchester, UK
    Giuseppe Scollo, Catania, Italy
    Harrie de Swart, Tilburg, The Netherlands
    Michael Winter, St.Catharines, Canada

  Local Organisation:
    Renate Schmidt, Manchester, UK, schmidt@cs.man.ac.uk
    Zhen Li, Manchester, UK
    David Robinson, Manchester, UK
    Iain Hart & ACSO, Manchester, UK


(8)


                        FLoC'06 - Call for Papers
            The 2006 Federated Logic Conference
                   Seattle, Washington, USA
                        August 10 -- August 22, 2006
                    http://research.microsoft.com/floc06/

In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.  The second Federated Logic Conference (FLoC'99) was held in Trento, Italy, in 1999, and the third (FLoC'02) was held in Copenhagen, Denmark, in 2002.

The Fourth Federated Logic Conference (FLoC'06) will be held in Seattle,
Washington, in August 2006, at the Seattle Sheraton
(http://www.sheraton.com/seattle).

The following conferences will participate in FLoC'06:

Int'l Conference on Computer-Aided Verification (CAV)
Int'l Conference on Rewriting Techniques and Applications (RTA)
IEEE Symposium on Logic in Computer Science (LICS)
Int'l Conference on Logic Programming (ICLP)
Int'l Conference on Theory and Applications of Satisfiability Testing
      (SAT)
Int'l Joint Conference on Automated Reasoning (IJCAR)

In addition, FLoC'06 will host 42 workshops.  Pre-conference workshops will be held on August 10-11.  LICS, RTA, and SAT will be held in parallel on August 12-15, to be followed by mid-conference workshops and excursions on August 15-16. CAV, ICLP, and IJCAR will be held in parallel on August 16-21, to be followed by post-conference workshops on August 21-22.  Plenary events involving all the conferences are planned.

Calls for papers for the conferences and workshops are available
at the conference website: http://research.microsoft.com/floc06/.
We invite you to submit papers to FLoC'06 conferences and workshops.

        FLoC'06 Steering Committee

        Moshe Y. Vardi      (General Chair)
        Jakob Rehof         (Conference Chair)
        Edmund Clarke       (CAV)
        Reiner Hahnle       (IJCAR)
                Manuel Hermenegildo (ICLP)
        Phokion Kolaitis    (LICS)
        Henry Kautz         (SAT)
        Aart Middeldorp     (RTA)
        Andrei Voronkov     (IJCAR)


(9)

Subject: Prize Competition: Vienna Goedel Meeting


Dear Colleagues,

At the Goedel Centenary meeting to be held this April 2006 there will be a Young Scholars Competition. First prize is 20,000 euros. Second and third prizes are 5,000 euros each.

If you know of a candidate (perhaps yourself), please encourage them to apply. Candidates must have been born on or after January 1, 1970 and must apply electronically by February 24 at the website:

http://www.logic.at/goedel2006/index.php?students

The ten best candidates will be selected by March 15, and each of them will be invited to the meeting (travel and hotel costs covered). The three winners will be chosen at the meeting.

I hope we will get good candidates! Proposals can be in any area of logic, mathematics, physics, computer science, theology or philosophy, provided they are related to the work of Goedel.

Best regards,
Sy Friedman




Home Index

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

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

Last modified: Fri Feb 24 15:13:23 GMT 2006