Newsletter January 2002


Dear BLC members,

As you are aware from earlier mailings, our long serving
Secretary David Miller has now retired from this post and I am taking 
it over. Many thanks to David for his excellent and dedicated service,
and I hope to continue in the post with the same high level of
professionalism that David has had us all accustomed to.

For this first newsletter that I am preparing, let me mention
that the BLC Committee met on January 11th in Birmingham, and
that further and more formal mention of this will be made in
later announcements as customary. I would at this time only like to
note one topic that came up at the meeting, which is a reminder to you
all that Dr Eike Ritter is maintaining a base of abstracts of Ph.D.
theses in logic, and that all members are encouraged to send the
relevant items to him.

Further announcement are enclosed, namely:

(1) Second call for papers ESSLLI-2002 student session

(2) Leeds Logic Seminar, Spring 2002 

(3) Teaching Logic Conference, a one day event, Leeds, February  22nd

   With best wishes to you all, Mirna Dzamonja.

=========================================================
(1)

!!! Concerns all students in Logic, Linguistics and Computer Science !!! 
           !!! Please circulate and post among students !!!
      We apologise if you receive this message more than once.

                  ESSLLI-2002 STUDENT SESSION

                    SECOND CALL FOR PAPERS

                August 5-16 2002, Trento, Italy

                  Deadline: February 25th, 2002

	  www.iccs.informatics.ed.ac.uk/~malvi/esslli02


We are pleased to announce the Student Session of the 14th European
Summer School in Logic, Language and Information (ESSLLI-2002)
organised by the Centre for scientific and technological research
(ITC-irst) in Trento and by the University of Trento, under the
auspices of the European Association for Logic, Language and
Information (FoLLI). ESSLLI-2002 will be held in Trento from August
5-16 2002. We invite submission of papers for presentation at the
ESSLLI-2002 Student Session and for appearance in the proceedings.


PURPOSE:
This seventh ESSLLI Student Session will provide, like the other
editions, an opportunity for ESSLLI participants who are students to
present their own work in progress and get feedback from senior
researchers and fellow-students.  The ESSLLI Student Session
encourages submissions from students at any level, from undergraduates
(before completion of the Master Thesis) as well as postgraduates
(before completion of the PhD degree). Papers co-authored by
non-students will not be accepted.  Papers may be accepted for full
presentation (30 minutes including 10 minutes of discussion) or for a
poster presentation.  All the accepted papers will be published in the
ESSLLI-2002 Student Session proceedings, which will be made available
during the summer school.


KLUWER BEST PAPER AWARD: As in previous years, the best paper will be
selected by the programme committee and will be offered a prize of 600
euros by Kluwer Academic Publishers to be spent on books.


REQUIREMENTS: 
The Student Session papers should describe original, unpublished work,
completed or in progress that demonstrates insight, creativity, and
promise. No previously published papers should be submitted.  Note
that the ESSLLI02 school will be focused on the three main
interdisciplinary areas (Logic & Language, Logic & Computation, and
Language & Computation), while the single areas have been
dropped. Given the high interest shown over the years, the Student
Session will keep two of the single areas, namely Logic and Language,
welcoming thus submissions within the following topics: Logic,
Language, Logic & Language, Logic & Computation, Language &
Computation.


FORMAT OF SUBMISSION: 
Student authors should submit an anonymous full paper headed by the
paper title, not to exceed 7 pages of length exclusive of references
and send a separate identification page (see below). Note that the
length of the final version of the accepted papers will not be allowed
to exceed 10 pages. Since reviewing will be blind, the body of the
paper should omit author names and addresses. Furthermore,
self-references that reveal the author's identity (e.g., "We
previously showed (Smith, 1991)... ") should be avoided. It is
possible to use instead references like "Smith (1991) previously
showed...".  For any submission, a plain ASCII text version of the
identification page should be sent separately, using the following
format:

Title: title of the submission 
First author: firstname lastname
Address: address of the first author 
...... 
Last author: firstname lastname 
Address: address of the last author 
Short summary: abstract (5 lines) 
Subject area (one of): Logic | Language | Logic and
Language | Logic and Computation | Language and Computation

If necessary, the programme committee may reassign papers to a more
appropriate subject area. The submission of the paper
should be in one of the following formats: PostScript, PDF, RTF, or
plain text. But note that, in case of acceptance, the final version of
the paper has to be submitted in LaTeX format. Please, use A4 size
pages, 11pt or 12pt fonts, and standard margins. Submissions outside
the specified length and formatting requirements may be subject to
rejection without review.

The paper and separate identification page must be sent by
e-mail to:

       malvi@cogsci.ed.ac.uk   by FEBRUARY 25th 2002


ESSLLI-2002 INFORMATION: In order to present a paper at ESSLLI-2002
Student Session, at least one student author of each accepted paper
has to register as a participant at ESSLLI-2002. The authors of
accepted papers will be eligible for reduced registration fees. For
all information concerning ESSLLI-2002, please consult the ESSLLI-2002
web site at www.esslli2002.it


IMPORTANT DATES:
Deadline for submission of papers: February 25, 2002.
Authors notifications: April 22, 2002.
Final version due: May 20, 2002. 
ESSLLI-2002 Student Session: August 5-16, 2002. 


PROGRAMME COMMITTEE:

David Ahn, University of Rochester (Language and Computation)
Carlos Areces, University of Amsterdam (Logic)
Reinhard Blutner, University of Berlin (Language)
Kees van Deemter, University of Brighton (Language and Computation)
Paul Dekker, University of Amsterdam (Logic and Language)
Juergen Dix, University of Manchester (Logic and Computation)
Marta Garcia-Matos, University of Helsinki (Logic)
Juan Heguiabehere, University of Amsterdam (Logic and Computation)
Elsi Kaiser, University of Pennsylvania (Language)
Malvina Nissim, University of Edinburgh (Chair)
Rick Nouwen, University of Utrecht (Logic and Language)


For any specific questions concerning ESSLLI-2002 Student Session,
please, do not hesitate to contact me:

Malvina Nissim  

ICCS, University of Edinburgh
2 Buccleuch Place, Edinburgh 
EH8 9LW, UK 

phone: +44 +(0)131 +650 4630  
fax: +44 +(0)131 +650 6626 
e-mail: malvi@cogsci.ed.ac.uk


-------------------------------------------------------------------------------
(2)

                        UNIVERSITY OF LEEDS
                   Department of Pure Mathematics
                     MATHEMATICAL LOGIC SEMINAR
                          Winter Term 2002

February 6th Alan Bundy (Edinburgh)
               
             What is a proof?

February 13th Andreas Weiermann (M"unster)

             Classifying mathematical incompletenss of PA

      The lectures will be held on Wednesdays at 4 pm in room J,
        Mathematics building unless otherwise noted. Tea at 3.30 pm.

For more up to date 
      information check out

 http://www.maths.leeds.ac.uk/Pure/logic/Seminar/
                        
                                 Michael Rathjen       
-------------------------------------------------------------------------------
(3)

 TEACHING LOGIC CONFERENCE, University of Leeds,
 Friday 22 February 2002, 11am-4pm.
 
 This is a one-day conference is supported by Learning and
 Teaching Support Network, Philosophical and Religious
 Studies Subject Centre (PRS-LTSN)
 <{ HYPERLINK "http://www.prs-ltsn.leeds.ac.uk" 
 }http://www.prs-ltsn.leeds.ac.uk>.
 
 It is intended that discussions at the conference will seek
 to address some of the problems involved in teaching logic
 in higher education, such as:
      - how to make logic more interesting to prospective
      students
      - coping with students with a fear of formal notation
      - how to retain students on courses
      - how to make better use of IT resources
      - how to develop learning and teaching strategies for 
 logic -
      the pedagogical merits of the term logic
 
      Speakers include Professor Peter Simons, University of
      Leeds; and Dr Susan Stuart, University of Glasgow.
 
      Attendance at the conference (including lunch) is free of
      charge, although you are asked to register for the event 
by
      returning a registration form to:
 
    Dr Simon G Smith, PRS-LTSN, School of Philosophy,
      University of Leeds, Leeds, LS2 9JT;
      tel: 0113 233 4184/fax: 0113 233 3265;
      email: <{ HYPERLINK "mailto:simon@prs-ltsn.leeds.ac.uk"
 }simon@prs-ltsn.leeds.ac.uk>.
      Registration forms can be obtained from the above
      address, or can be downloaded (ignoring the payment
      section) at:
      { HYPERLINK 
 "http://www.prs-ltsn.leeds.ac.uk/registration/genreg.pdf" 
 }http://www.prs-ltsn.leeds.ac.uk/registration/genreg.pdf
 
      Please note that online registrations are not possible 
at the
      moment.
 

 
 Professor Peter Simons
 Head, School of Philosophy
 University of Leeds
 Leeds LS2 9JT
 England
 Tel +44 113 233 3298
 Fax +44 113 233 3265
 http://www.philosophy.leeds.ac.uk/PMS/
----------------------------------------------
                     LOGIC SEMINARS

The following seminars will take place in the Mathematical Institute (Room
L3) on Fridays at 4.30.

18 Jan tba


25 Jan No seminar-Maths Colloquium


1 Feb  Thomas Kucera (University of Manitoba)

       'The injective modules over Jategaonkar's rings'


8 Feb  David Llewellyn-Jones (Birmingham)

       'Automorphisms of models of Presburger Arithmetic'


15 Feb No seminar-maths colloquium


22 Feb tba


1 March No seminar-Birmingham Model Theory meeting.


8 March tba

                                                       AJW
               


Home Index

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

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

Last modified: Tue Mar 11 11:54:46 GMT 2003