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, The minutes of our Annual General Meeting held in Bristol, September 1, 2005 are now available on the web site. I enclose below two conference announcements and two seminar announcements. Best wishes, Mirna. --------------------------------------------------------------- (1) ICOS-5, Buxton, April 2006 (2) Leeds logic seminar (3) Oxford logic seminar (4) summer school in model theory ----------------------------------------------------------------- ----------------------------------------------------------------- (1) ------------------------------------------------------------- *** CALL FOR PAPERS *** 5th workshop on INFERENCE IN COMPUTATIONAL SEMANTICS ICoS-5 Buxton, England, 20-21 April 2006 http://www.cs.man.ac.uk/~ipratt/ICoS-5/ Submission deadline: 16 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 methodolgies 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 16, 2006. Notification: February 20, 2006. Final Versions: March 20, 2006. Conference: April 20-21, 2006. INVITED SPEAKERS ---------------- TBA 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. (2) Dear All, as usual, there will be a weekly Logic Seminar which will be held Wednesday at 4pm in room H (with tea at 3.30pm). Please find below the preliminary list of talks. For more up to date information check out http://www.maths.leeds.ac.uk/Pure/logic/Seminar/ Abstracts of the first two talks are appended. All welcome Michael ********************************************************* * * * LEEDS LOGIC SEMINAR * * * * AUTUMN 2005 * * * ********************************************************* September 28th John Mayberry (Bristol) Closure and embedding in simply infinite systems October 5th No seminar October 12th Klaus Thiel (Munich) Constructive Finiteness October 19th Dugald Macpherson (Leeds) Model theory and automorphism groups October 26th NN November 2nd No seminar November 9th NN November 16th NN November 23rd Roy Dyckhoff (St Andrews) Decision methods for linearly ordered Heyting algebras (title to be confirmed) November 30th NN December 7th NN (3) Subject: Logic seminars in Oxford MATHEMATICAL LOGIC SEMINARS The following seminars will take place in the Mathematical Institute at 3.15 on Fridays. 14 Oct Piotr Kowalski (Oxford) "Strongly minimal expansions of the additive group of complex numbers." 21 Oct No seminar- There's a Maths Colloquium preceded by the postponed Alleyne Jackson talk on Grothendieck. 28 Oct Alex Wilkie (Oxford) "Some local definability theory for holomorphic functions." 4 Nov Martin Ziegler (Freiburg and Leeds) "A field with red points." 11 Nov Anand Pillay (Leeds) "Imaginaries in pairs." 18 Nov Richard Elwes (Leeds) "Asymptotic classes and measurable structures." 25 Nov David Evans (UEA) "Expansions of fields by angular functions." 2 Dec Jan Krajicek (Prague) "Logic and cryptography." AJW (4) Dear All, You may have gathered that there will be a `summer school' in model theory, in Leeds, December 12--17 (last lecture on Dec 16). There will be lecture courses of 5--6 lectures each by Mike Prest, Eric Jaligot, Angus Macintyre, backed up by tutorial discussions in the evenings. It is really pitched at first and second year model theory PhD students, or possibly others, perhaps more advanced, who work in another field but want to learn some model theory. There are brief synopses of the courses on the web page (http://www.amsta.leeds.ac.uk/pure/logic/modnet.dec.html). The summer school is the first event of the Marie Curie Research Training Network in model theory MODNET, but we warmly welcome participants from outside this. I have applied to the LMS for %Gï¿½%@1000 to support UK-based PhD students. I've heard something positive about this, but cannot confirm yet that it will be available -- hopefully I will hear soon. On the webpage, I have put October 31 as a registration deadline, and after that, we will try to divide what money we have evenly to support bona fide UK-based students who need it. People can register later (though I'd much prefer to have numbers by then) but support may no longer be available. Anyway, if you have students/know of students, who might be interested, please do encourage them to come. Incidentally, immediately afterwards (Dec 17--19) there is in Leeds a short workshop on o-minimality organised by Anand Pillay. Yours, Dugald (Macpherson)

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