BLC Newsletter April 2010

Registered Charity No 275541

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) Initial MALOA Training Workshop September 2010, Fischbachau, Germany
Registration deadline very soon (3 May at the latest)

2) E. W. Beth Dissertation Prize: 2010 call for nominations
Deadline extended: May 16, 2010 


1) Training Workshop in Logic:

   MALOA -  From MAthematical LOgic to Applications
   Marie Curie Initial Training Network, PITN-GA-2009-238381

   Initial MALOA Training Workshop September 2010, Fischbachau, Germany

Dates: Arrival Sunday, 5 September 2010.
        Departure Saturday, 11 September 2010 after noon.

Scope of the Workshop:
    The workshop consists of main lecture courses and contributed talks 
across a range of logic as well as informal discussion groups in the 
evenings.  It is intended particularly for PhD students and postdoctoral 
researchers working in or around mathematical logic and applications.  It 
is primarily aimed at members of the involved research centres of the 
MALOA network, but participants from external sites are welcome as well.

    The workshop is being held at the Hotel Aurachhof in Fischbachau, a 
picturesque small village outside of Munich.

    Full board accommodation is available from EUR 50 to EUR 80 per person 
and day, depending on the room type and includes the workshop costs.

Further information: For more information, including a full timetable of 
lecture courses and talks, please see the website

If interested in participating, please email Emma Jones

as soon as possible, and by Monday May 3 at absolute latest, as we need
to make the accommodation booking in Fischbachau.


2) E. W. Beth Dissertation Prize: 2010 call for nominations

Deadline extended: May 16, 2010 !!!

Since 2002, FoLLI (the Association for Logic, Language, and Information, awards the E.W. Beth Dissertation Prize to outstanding 
dissertations in the fields of Logic, Language, and Information. We invite
submissions for the best dissertation which resulted in a Ph.D. degree in the
year 2009. The dissertations will be judged on technical depth and strength,
originality, and impact made in at least two of three fields of Logic,
Language, and Computation. Interdisciplinarity is an important feature of
the theses competing for the E.W. Beth Dissertation Prize.

Who qualifies.

Nominations of candidates are admitted who were awarded a Ph.D. degree in
the areas  of Logic, Language, or Information between January 1st, 2009 and
December 31st, 2009. There is no restriction on the nationality of the candidate
or the university where the Ph.D. was granted. After a careful consideration,
FoLLI has decided to accept only dissertations written in English. Dissertations
produced in 2009 but not written in English or not translated will be allowed
for submission, after translation, also with the call next year (for 2010).
The present call for nominations for the E.W. Beth Dissertation Award 2010 will
also accept nominations of full English translations of theses originally
written in another language than English and defended in 2008 or 2009.


The prize consists of:

-a certificate

-a donation of 2500 euros provided by the E.W. Beth Foundation

-an invitation to submit the thesis (or a revised version of it) to the FoLLI
Publications on Logic, Language and Information (Springer). For further
information on this series see the FoLLI site. 

How to submit.

Only electronic submissions are accepted. The following documents are required:

1. The thesis in pdf or ps format (doc/rtf not accepted);

2. A ten page abstract of the dissertation in ascii or pdf format;

3. A letter of nomination from the thesis supervisor. Self-nominations are not
admitted: each nomination must be sponsored by the thesis supervisor. The letter
of nomination should concisely describe the scope and significance of the
dissertation and state when the degree was officially awarded;

4. Two additional letters of support, including at least one letter from a
referee not affiliated with the academic institution that awarded the Ph.D.

All documents must be submitted electronically to Hard copy
submissions are not admitted. In case of any problems with the email submission
or a lack of notification within three working days, nominators should write to

Important dates:

Deadline for Submissions: April 30, 2010 (extended: May 16, 2010)
Notification of Decision: July 20, 2010.

Committee :

Natasha Alechina (Nottingham)
Lev Beklemishev (Moscow)
Wojciech Buszkowski (chair) (Poznan)
Didier Caucal (IGM-CNRS)
Nissim Francez (Haifa)
Alexander Koller (Saarbruecken)
Alberto Policriti (Udine)
Ian Pratt-Hartmann (Manchester)
Rob van der Sandt (Nijmegen)
Colin Stirling (Edinburgh)
Rineke Verbrugge (Groningen)
Heinrich Wansing (Dresden)


Please check  The International Federation for Computational Logic 
(IFCoLog)web site - announcing for example an approaching deadline for 
student grants applications deadline for the Federated Logic Conference 
(3rd May), and other news and conference announcements

4) JLA becomes the first ASL sponsored journal

The Association for Symbolic Logic (ASL: has agreed to sponsor the Journal of Logic and 
Analysis, the first in this category recently created by the ASL Council.

The Journal of Logic and Analysis   (JLA) 
is an electronic open access peer-reviewed journal ( ISSN 1759-9008) 
that that examines the interaction between ideas or techniques from 
mathematical logic and other areas of mathematics, especially, but not 
limited to, pure and applied analysis. The journal publishes papers in 
nonstandard analysis and related areas of applied model theory; papers 
involving interplay between mathematics and logic (including 
foundational aspects of such interplay); and mathematical papers using 
or developing analytical methods having connections to any area of 
mathematical logic.

JLA is intended to be a natural home for papers with an essential
interaction between mathematical logic and other areas of mathematics,
rather than for papers purely in logic or analysis.

Volume 1 (2009) is complete, and papers are currently being published in
Volume 2 (2010).  Papers are reviewed in MathSciNet and Zentralblatt MATH

For further information about JLA (Editorial Board, how to submit papers
etc) visit the website ( or contact the
Editor-in-Chief, Prof Nigel Cutland, University of York, UK

Home Index


Page maintained by

Last modified: Mon May 10 18:38:22 BST 2010