BLC Newsletter May 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) BLC 2010 meeting web page: http://events.cs.bham.ac.uk/BLC2010

2) Conference `A snapshot of logic -some recent results in 
mathematical logic' (London, 16 June).

3) International Workshop on Classical Logic and Computation (CL&C'10)
(Brno, 21-22 August 2010)

4) Meeting in Honor of Jouko Vnnen's 60th Birthday (Helsinki, 16-18 September 2010)


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

1) BLC 2010 has a web page: http://events.cs.bham.ac.uk/BLC2010

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

2) There will be a conference `A snapshot of logic -
some recent results in mathematical logic',
to be held on 16 June, 2010 in London.

Venue: the new UEA London centre of the University of East Anglia .

The speakers will be:

Wilfrid Hodges, Oren Kolman, Dugald Macpherson, Lajos Soukup
and Simon Thomas. The conference will start at 10:30 and finish
around 17:00.

More details about the conference can be found at the web site

http://www.uea.ac.uk//~h020/UEALondon
---------------------------------------------------------------

3)                       2nd Call forPapers

International Workshop on Classical Logic and Computation (CL&C'10)
               http://www.doc.ic.ac.uk/~svb/CLaC10
                      21-22 August 2010
                     Brno, Czech Republic


CL&C'10 is a joint workshop with PECP and a satellite of the federated 
conferences CSL and MFCS


IMPORTANT DATES
Deadline for abstract:          June,     13, 2010
Deadline for submission:        June,     27, 2010
Notification of acceptance:     July,     17, 2008
Final version due:              July,     27, 2010
Workshop date:                  August,   21-22, 2010

INTRODUCTION
CL&C'10 is the third of a conference series on "Classical Logic and
Computation". It intends to cover all work aiming to explore computational 
aspects of classical logic and mathematics.  This year CL&C will be held as 
part of CSL and MFCS, jointly with PECP (Program Extraction and Constructive 
Proofs):
        http://www.cs.swansea.ac.uk/~csmona/pecp.html
Through these two workshops we wish to honour Prof. Helmut Schwichtenberg's 
many important contributions to both fields.

CL&C is focused on the interplay between program extraction from classical 
proofs and computer science, while PECP will focus on recent developments in 
Applied Proof Theory and Constructive Mathematics. The two fields have a 
substantial common interest, namely the exploration of the computational 
content of mathematical and logical principles.  The scientific aim of this 
workshop is to bring together researchers from both fields and exchange ideas.

SCOPE OF CL&C
This workshop aims to support a fruitful exchange of ideas between the various 
lines of research on Classical Logic and Computation. Topics of interest 
include, but are not limited to,

  - version of lambda calculi adapted to represent classical logic,
  - design of programming languages inspired by classical logic,
  - cut-elimination for classical systems,
  - proof representation and proof search for classical logic,
  - translations of classical to intuitionistic proofs,
  - constructive interpretation of non-constructive principles,
  - witness extraction from classical proofs,
  - constructive semantics for classical logic (e.g. game semantics),
  - case studies (for any of the previous points).

SUBMISSION AND PUBLICATION, This is intended to be an informal workshop.
Participants are encouraged to present work in progress, overviews of
more extensive work, and programmatic/position papers, as well as
completed projects. We therefore ask for submission both of short
abstracts and of longer papers. 

All submitted papers will be reviewed to normal standards. The PC recognises 
two kinds of papers: it will distinguish between accepted (full) papers that 
contain unpublished results not submitted elsewhere, and presentations 
of (short) papers about work in progress. The accepted papers will appear 
in EPTCS.

Post-proceedings of CL&C'06 and CL&C'08 were published as special issues 
of APAL, for which an open call for papers was sent. A special issue of a 
journal, with the post-proceedings of CL&C'10, is being considered. 

In order to make a submission:
- Format your file using the LNCS guidelines; there is a 15 page limit.
- Use the submission instructions at            
        http://www.easychair.org/conferences/?conf=clac10

A participants' proceedings will be distributed at the workshop.

INVITED KEYNOTE SPEAKERS (Jointly with PECP) 
     * Helmut Schwichtenberg (Munich)
     * Michael Rathjen (Leeds)
     (further speakers to be announced)

PROGRAMME COMMITTEE
* Bernard Reus (Sussex)
* Hugo Herbelin (Inria Paris)
* Richard McKinley (Bern)
* Stefano Berardi (Turin) - co-chair
* Steffen van Bakel (Imperial College London) - co-chair
* Stephane Lengrand (LIX Paris)
* Ugo de'Liguoro (Turin)
* Ulrich Berger (Swansea) - co-chair
* Zhaohui Luo (Royal Holloway London)

CONTACT
u.berger@swansea.ac.uk

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

4) 
********************************************************
Meeting in Honor of Jouko Vnnen's 60th Birthday

University of Helsinki

16-18 September 2010
(with tutorials 13-15 September 2010)

http://www.helsinki.fi/~kulikov/jouko/
********************************************************

GENERAL INFORMATION
This meeting, organized by the Helsinki Logic Group, is in 
honour of professor Jouko Vnnen's sixtieth birthday. 
Topics include model theory, set theory, foundations of 
mathematics, logic in computer science, semantics of 
natural language, games, generalized quantifiers, 
infinitary languages, and abstract logic.

DATES AND VENUE
The conference takes place 16-18 September 2010.

There will be two tutorials 13-15th September 2010.

All talks in the Pieni Juhlasali, Main Building of the University of Helsinki, Fabianinkatu 33, Finland.

INVITED SPEAKERS
    * Peter Aczel University of Manchester,
    * Joan Bagaria, University of Barcelona,
    * John Baldwin, University of Illinois at Chicago
    * Zoe Chatzidakis, Universit Paris 7,
    * Mirna Damonja, University of East Anglia Norwich,
    * Pietro Galliani, University of Amsterdam,
    * Lauri Hella, University of Tampere,
    * Wilfrid Hodges, University of London,
    * Tapani Hyttinen, University of Helsinki,
    * Meeri Kesl, University of Helsinki,
    * Oskari Kuusela, University of East Anglia
    * Peter Koepke, University of Bonn,
    * Phokion Kolaitis, University of California,
    * Juha Kontinen, University of Helsinki,
    * Roman Kossak, City University of New York,
    * Michal Krynicki, Cardinal Stefan Wyszynski University, Warsaw
    * Menachem Magidor, Hebrew University of Jerusalem,
    * Ilkka Niiniluoto, University of Helsinki,
    * Per Martin-Lf, Stockholm University,
    * Jaroslav Nesetril, Charles University Prague
    * Jeff Paris, University of Manchester,
    * Krister Segerberg, University of Uppsala,
    * Stevo Todorcevic, University of Toronto & CNRS Paris,
    * Dag Westerstahl, Gteborg University,
    * Boris Zilber, University of Oxford.
 
TUTORIALS
    *  Andres Villaveces, Universidad Nacional de Colombia
       title: Model Theory of Sheaves.
    *  Boban Velickovic, University of Paris 7
       title: Transfinite games.

SPONSORS
    * Aaltonen foundation
    * Finnish National Graduate School of Mathematics and Its Applications
    * Federation of Finnish Learned Societies
    * Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences

FURTHER INFORMATION
http://www.helsinki.fi/~kulikov/jouko/


Home Index

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

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

Last modified: Fri May 21 07:43:40 BST 2010