BRITISH LOGIC COLLOQUIUM Registered Charity No 275541 http://www.blc-logic.org President Professor H Dugald MacPherson [Leeds] Vice-President Professor Philip Welch [Bristol] Treasurer Dr Charlotte Kestner [Lancashire] Secretary Dr Paulo Oliva [London] Dr Ulrich Berger [Swansea] Professor Alexandre Borovik [Manchester] Dr Peter Schuster [Leeds] ** Please send any items you would like included in the next newsletter to Paulo Oliva (p.oliva@qmul.ac.uk) Contents: --------- 1) British Postgraduate Model Theory Conference 2015 2) Associate Lecturer position at UCLan 3) JAIST Logic Workshop Series 2015 - Constructivism and Computability (Call for Abstracts) ------------------------------------------------------------------------------------- 1) British Postgraduate Model Theory Conference 2015 7-9 January 2015, University of Oxford The fifth British Postgraduate Model Theory (BPGMT) Conference will be held in Oxford, 7-9 January 2015. It is chiefly aimed at postgraduate students and postdoctoral researchers in model theory and related areas, but anybody interested is welcome! The conference is sponsored by the London Mathematical Society and The British Logic Colloquium. The conference will feature talks by participants and invited speakers. Invited speakers: - Zoe Chatzidakis - David Evans - Martin Ziegler - Boris Zilber Please visit the webiste http://www2.maths.ox.ac.uk/bpgmt2015/program for more details. (2) Associate Lecturer in Mathematics position at UCLan A 6 months position, starting in January, to cover Dr. Kestner's sabbatical. It is ideal for someone just finishing the PhD or at an early Postdoc career and who specialized in logic. The candidate must be able to teach 3rd year Logic, 2nd year Cryptology (so some knowledge of number theory or willing to learn is helpful) and 1st year linear algebra, plus some admin duties to run the Maths course. The deadline is soon: 30/11/2014, so I encourage anybody interested to apply ASAP. To apply follow this link https://recruitment.uclan.ac.uk/itrentlive_webrecruitment/wrd/run/ETREC105GF.open?WVID=7461800Yms after searching for position it is currently the first coming up, note that there are a few positions to teach mathematics, but this is the one advertised as "Associate Lecturer in Mathematics" by The Jeremiah Horrocks Institute of Mathematics, Physics and Astronomy. (3) JAIST Logic Workshop Series 2015 - Constructivism and Computability (Call for Abstracts) 2 - 6 March 2015 Shiinoki Cultural Complex, Kanazawa, Japan http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/ IMPORTANT DATES November 30 - deadline for abstract submissions December 25 - notification of accepted contributions February 15 - deadline for registrations March 2-6 - Constructivism and Computability workshop TUTORIALS * Giovanni Sambin (University of Padova) * Hideki Tsuiki (Kyoto University) * Stanley Wainer (University of Leeds) INVITED SPEAKERS * Ulrich Berger (Swansea University) * Takayuki Kihara (JAIST) * Graham Leigh (Vienna University of Technology) * Michael Rathjen (University of Leeds) * Masahiko Sato (Kyoto University) * Makoto Tatsuta (National Institute of Informatics) PROGRAM COMMITTEE * Toshiyasu Arai (Chiba University) * Andrej Bauer (University of Ljubljana) * Ulrich Berger (Swansea University) * Hajime Ishihara (co-chair, JAIST) * Masahiro Kumabe (Open University of Japan) * Erik Palmgren (Stockholm University) * Peter Schuster (University of Leeds) * Helmut Schwichtenberg (co-chair, LMU Munich) * Dieter Spreen (University of Siegen, UNISA Pretoria) * Kazuyuki Tanaka (Tohoku University) SUBMISSIONS Submissions of short abstracts (1 page in PDF format) are accepted through easychair.org, see https://easychair.org/conferences/?conf=jlws2015 DESCRIPTION JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. Previous workshops have been held in Kanazawa 2013, 2014 and 2014: http://www.jaist.ac.jp/~hirokawa/pr2013/ http://www.jaist.ac.jp/~preining/wpp/ http://www.jaist.ac.jp/~v-sano/jw2014/index.html In 2015, JAIST Logic Workshop Series focuses on "Constructivism and Computability" aiming at interaction and knowledge transfer between constructive mathematics and computability theory. The workshop is held being affiliated with EU FP7 Marie Curie Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (http://corcon.net/), but is open to all researchers in the areas. SCOPE Constructive mathematics and computability, and related areas including but not limited to: intuitionistic logic and type theory, proof theory, constructive analysis and topology, program extraction from proofs, recursion theory, computable analysis and topology, classical/constructive reverse mathematics, algorithmic randomness, real number computation etc. LOCAL ORGANIZERS * Hajime Ishihara (JAIST) * Takayuki Kihara (JAIST) * Takako Nemoto (JAIST) * Keita Yokoyama (JAIST) The workshop is supported by: * Japan Advanced Institute of Science and Technology (JAIST) CO-LOCATED WORKSHOP * JSPS-NUS Joint Workshop in Mathematica Logic and Foundations of Mathematics (6-7 March 2015, at the same venue)