12th Panhellenic Logic Symposium

PLS12: THE TWELFTH PANHELLENIC LOGIC SYMPOSIUM
June 26-30, 2019, Anogeia, Crete, Greece
Organized by the University of Crete
http://panhellenic-logic-symposium.org/

IMPORTANT DATES
       Deadline for submission: 25 February 2019
       Notification:                    25 March 2019
       Final version due:            29 April 2019

INVITED TALKS / TUTORIALS

       – Joan Bagaria, University of Barcelona, Catalonia, Spain
       – Michael Detlefsen, University of Notre Dame, USA
       – Mirna Dzamonja, University of East Anglia, UK
       – Fernando Ferreira, University of Lisbon, Portugal
       – Simona Ronchi Della Rocca, University of Turin, Italy
       – Mehrnoosh Sadrzadeh, Queen Mary University of London, UK
       – Theodore Slaman, University of California, Berkeley, USA
       – Patrick Speissegger, McMaster University, Canada
       – Boris Zilber, University of Oxford, UK

FIRST CALL FOR PAPERS

The Scientific Committee cordially invites all researchers in the
area of the conference to submit their papers for presentation at
PLS12. All submitted papers will be reviewed by the Scientific Committee
of the symposium, who will make final decisions on acceptance.
During the symposium, each accepted paper will be presented by one of
its authors.

Areas of interest include (but are not limited to):

      – Computability Theory
      – History and Philosophy of Logic
      – Logic in Computer Science
      – Model Theory
      – Nonclassical and Modal Logics
      – Proof Theory
      – Set Theory

Papers, in PDF format, should be prepared using the EasyChair class
style (https://easychair.org/publications/for_authors), be written in
English, and adhere to a space limit of 6 pages.

Submission is to be done via EasyChair at: <LINK>

POSTER SESSION AND MENTORING SESSION

Graduate students and young researchers are invited to submit a short
abstract on work in progress that may not be ready for a regular
contributed talk. Those accepted will be able to present their work in
poster form in a special poster session. The session will also feature a
mentoring component whereby senior researchers will discuss the posters
and provide feedback to the authors.

Interested students and young researchers should submit abstracts of no
more than one page in PDF form by 26 May 2019, by sending them to:
pls12@softlab.ntua.gr

GRANTS

Some travel grants will be provided for students and young researchers.
Details will be uploaded on the conference website.

SCIENTIFIC COMMITTEE

       – George Barmpalias, Chinese Academy of Sciences
       – Costas Dimitracopoulos, University of Athens
       – Pantelis Eleftheriou, University of Konstanz (co-chair)
       – Vassilis Gregoriades, University of Turin
       – Antonis Kakas, University of Cyprus
       – Vasileios Koutavas, Trinity College Dublin
       – Christos Kyriacou, University of Cyprus
       – Nikolaos Papaspyrou, National Technical University of Athens
       – Thanases Pheidas, University of Crete
       – Rizos Sklinos, Université Lyon 1
       – Alexandra Soskova, Sofia University
       – Yannis Stephanou, University of Athens
       – Konstantinos Tsaprounis, University of the Aegean
       – Nikos Tzevelekos, Queen Mary University of London (co-chair)
       – Stathis Zachos, National Technical University of Athens

ORGANIZING COMMITTEE

       – Dimitra Chompitaki, University of Crete
       – Nikolaos Papaspyrou, National Technical University of Athens
       – Thanases Pheidas, University of Crete (chair)
       – Konstantinos Tsaprounis, University of the Aegean

SYMPOSIUM WEBPAGE: http://panhellenic-logic-symposium.org/
E-MAIL: pls12@softlab.ntua.gr

CONTACTS:

– Pantelis Eleftheriou (panteleimon.eleftheriou@uni-konstanz.de)
– Nikos Tzevelekos (nikos.tzevelekos@qmul.ac.uk)
  Chairs of the Scientific Committee

– Thanases Pheidas (pheidas@uoc.gr), Chair of the Organizing Committee

Advertisements

Grace Chisholm Young

The first ever book in set theory was written by Grace Chisholm Young and William Young — in fact Grace Chisholm was the first woman set-theorist and had a very interesting life.

Mirna Džamonja recently wrote the following interesting article in remembrance of this wonderful and unusual personality. 

 

 

Reflections on Set Theoretic Reflection, 16-19 November 2018, Sant Bernat, Catalonia

The set theory conference Reflections on Set Theoretic Reflection will take place from 16-19 November 2018 in Sant Bernat, Montseny, Catalonia.

It is organised in partnership with the Clay Mathematics Institute in celebration of Joan Bagaria’s 60th birthday.

http://www.ub.edu/RSTR2018/

Keynote Speakers

Peter Koellner (Harvard)
Paul Larson (Miami)
Menachem Magidor (Jerusalem)
Jouko Väänänen (Helsinki and Amsterdam)
W. Hugh Woodin (Harvard)

Organisers

David Asperó (UEA, Norwich)
Carles Casacuberta (IMUB, Barcelona)
Miguel Ángel Mota (ITAM, México)
Konstantinos Tsaprounis (UAegean, Samos)

Very informal gathering of logicians, Los Angeles, 1-3 Feb 2019

20th VERY INFORMAL GATHERING OF LOGICIANS
Los Angeles (CA), 1-3 Feb 2019

http://www.math.ucla.edu/~ineeman/Conf/VIG2019/

VIG 2019

There will be a Very Informal Gathering of Logicians (VIG) at UCLA, from
Friday, February 1, to Sunday, February 3, 2019. The 20th in a series of
biennial logic meetings at UCLA, this event will celebrate the 50th
anniversary of the 1967-68 Logic Year at UCLA and the many influences it
had in Mathematical Logic. The invited speakers are:

Justin Moore giving the Hjorth Lecture
Julia Knight
Krzysztof Krupinski
Chris Laskowski
Menachem Magidor
Donald A. Martin
Grigor Sargsyan
Brandon Seward
Ted Slaman
John Steel
Anush Tserunyan
Robin Tucker-Drob
Hugh Woodin.

16th Asian Logic Conference, Astana (Kazakhstan), 17-21 Jun 2019

Sixteenth Asian Logic Conference
Nazarbayev University
Astana, Kazakhstan
17-21 June 2019

http://www.alc2019.kz/

The Sixteenth Asian Logic Conference will be held at Nazarbayev University
Astana, Kazakhstan,17-21 June 2019. It will be the second Asian Logic
Conference since its status changed from an ASL(the Association for
Symbolic Logic)-sponsored meeting to an official ASL meeting by ASL
Council action in May 2016. The Asian Logic Conference (ALC) is a major
international event in mathematical logic. It features the latest
scientific developments in the fields in mathematical logic and its
applications, logic in computer science, and philosophical logic. The ALC
series also aims to promote mathematical logic in the Asia-Pacific region
and to bring logicians together both from within Asia and elsewhere to
exchange information and ideas.

From 1981 to 2008, the Asian Logic Conference has been held triennially
and rotated among countries in the Asia-Pacific region. The previous
meetings took place in Singapore (1981), Bangkok (1984), Beijing (1987),
Tokyo (1990), Singapore (1993), Beijing (1996), Hsi-Tou (1999), Chongqing
(2002), Novosibirsk (2005), and Kobe (2008). In 2008, the East Asian and
Australasian Committees of the Association for Symbolic Logic decided to
shorten the three-year cycle to two. The new two-year cycle began with the
meeting in Singapore (2009), and subsequent meetings have been held in
Wellington (2011), Guangzhou (2013), Mumbai (2015), Daejeon (2017).

—————————————————————-

Call for Contributed Talks

Each contributed talk should last 20 minutes including questions and
answers. If you would like to give a contributed talk, please send the
following materials as email attachments to alc2019.kz at nu.edu.kz
by May 1, 2019:

1. The title & short abstract of your proposed talk (LaTeX version +
PDF version)

2. A short resume (no more than 2 pages long) including a select
publication list

When sending your email, please:

Begin the subject line with [Talk]

Name your title/abstract files as: lastname_firstname_subject e.g.,
John_Mark_Settheory.tex, John_Mark_Settheory.pdf

Name your resume file as: lastname_firstname_resume e.g.,
John_Mark_Resume.pdf

After reviewing your application, we will notify you of the result by May
9, 2019.

Abstract should be prepared according to the ASL instructions using the
ASL abstract style.

Ab­stracts are pub­lished as part of the meeting reÂport in The
Bul­letin of SymÂbolic Logic only if at least one au­thor is a member
of the ASL at the time the re­port is sent for pub­lication.

Ab­stracts of contributed pa­pers sub­mitted by ASL mem­bers will be
pub­lished in The Bul­letin of Symbolic Logic, provided that they
sat­isfy the Rules for Abstracts (see above).–

PhDs in Logic XI, Bern

PhDs in Logic XI
24th–26th April 2019, Bern, Switzerland
https://mathsites.unibe.ch/phdlogic2019/

Call for papers

PhD students, master students, and first-year postdocs in logic from
disciplines that include but are not limited to computer science,
mathematics, and philosophy are invited to submit an extended abstract on
their research.

Abstracts of contributed talks of 2 pages (not including references) are
to be prepared using the EasyChair class style and submitted via
EasyChair. Each abstract will be reviewed by the scientific committee. The
accepted abstracts will be presented by their authors in a short
presentation during the conference.

The deadline for contribution is on 7th of January 2019, and the
notification of acceptance will be sent by 22nd of February 2019.

We welcome students to participate in PhDs in Logic XI regardless of
whether they want to submit a contribution. We also encourage students and
postdocs in logic from disciplines other than computer science,
mathematics, and philosophy to apply.

Students interested in participating, even without giving a talk, should
register.

2018 INPhINIT DOCTORAL CALL 2017

INPhINIT is a doctoral fellowship programme devoted to attracting international Early-Stage Researchers to the top Spanish research centres in the areas of Bio and Heath Sciences, Physics, Technology, Engineering and Mathematics. 

INPhINIT is sponsored and managed by the “la Caixa” Foundation with the aim of attracting the best scientific talent and fostering innovative and high-quality research in Spain by recruiting outstanding international students and offering them an attractive and competitive environment for conducting research of excellence.

INPhINIT recruits per call 57 Early-Stage Researchers of any nationality who have not lived/worked in Spain more than 12 months between 29 May 2015 and 29 May 2018. They will enjoy a 3-year employment contract at the Research Centre of their choice among those selected and awarded by the Spanish Ministry of Economy and Competitiveness (“Severo Ochoa” centres of excellence and “Maria de Maeztu” units of excellence, such as the Barcelona Graduate School of Mathematics) and the Spanish Ministry of Health (“Carlos III centres of excellence”). In addition, researchers establish a personal career development plan including transnational, intersectoral and interdisciplinary mobility opportunities, and attend a full range of complementary training courses and workshops.

Full information about the programme and how to apply here.

If you are interested please contact Joan Bagaria.