12th Panhellenic Logic Symposium: 2nd Call for Papers

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: 31 March 2019 (extended)
      Notification:                     22 April 2019
      Final version due:           20 May 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
      – Yannis Stephanou, University of Athens, Greece
      – Boris Zilber, University of Oxford, UK

===============================================================

SPECIAL SESSIONS

Computer Science:

    – Sylvain Schmitz, ENS Cachan, France
    – Ana Sokolova, University of Salzburg, Austria
    – Niki Vazou, IMDEA Institute, Spain

Model Theory:

    – Assaf Hasson, Ben-Gurion University of the Negev, Israel
    – Gareth Jones, University of Manchester, UK
    – Tobias Kaiser, University of Passau, Germany

Philosophy & Set Theory:

    – Carolin Antos, University of Konstanz, Germany
    – Dima Sinapova, Univarsity of Illinois at Chicago, USA

===============================================================

SECOND 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:
https://easychair.org/conferences/?conf=pls120

===============================================================

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.
See the conference website
(http://panhellenic-logic-symposium.org/grants.html) for more details.

===============================================================

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, Stevens Institute of Technology
      – 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

The Core Model Induction and Other Inner Model Theoretic Tools, Rutgers

The Core Model Induction and Other Inner Model Theoretic Tools

Rutgers University, June 03-14, 2019

https://muellersandra.github.io/conferences/CMI2019/

The meeting will consist of tutorials with a focus on discussions and interactions among the participants. The aim of the tutorials is to introduce all participants to the necessary background to pursue research using the core model induction technique. We encourage all participants to stay one more week at Rutgers University after the meeting for informal discussions and work groups. This workshop is aimed at advanced PhD students and young PostDocs working in inner model theory or related areas, but everyone interested in learning these techniques is welcome to attend. 

** Tutorials **

Fine Structure and the Core Model (Martin Zeman)
Determinacy and Scales (Trevor Wilson)
Prikry-type Forcings and Inner Model Theory (Omer Ben-Neria)
HOD Computations (Sandra Müller and Grigor Sargsyan)
The Core Model Induction (Grigor Sargsyan and Nam Trang)


** Funding **

Support for travel and accommodation is available. Graduate students, young researchers, female mathematicians and members of underrepresented groups are particularly encouraged to apply. See https://muellersandra.github.io/conferences/CMI2019/funding for more information on how to apply for funding. Note that the deadline for funding applications is April 15, 2019.


** Contact information **

If you are interested in participating or have any questions, please contact the organizers (Sandra Müller and Grigor Sargsyan). More information is available on the conference webpage: https://muellersandra.github.io/conferences/CMI2019/

Position as Maitre de conférence in mathematical logic, Paris (France), Deadline: 6 March 2019

There is currently an opening for a Maitre de Conférence position (Assistant Professor) in Mathematical Logic at the University of Paris 7 in 2019. Set Theory is one of the priority areas for this position. The code of the position is 4424.

In order to apply candidates should already have a qualification that was done of the site Galaxie. More information on the position can be found here. Applications are done through the site COMITEC of the Univerity Paris Diderot. You can import your information from Galaxie. Letters of recommendation should be submitted on the following website of the Institut Mathématiques de Jussieu.

Please note that the deadline is March 6 at 16h Paris time and no applications will be accepted after that date. The first meeting of the hiring committee will be on April 15 and the interviews will be on May 15. The final decision will be made soon afterwards.

For more information and help with the application please contact Boban Velickovic.

Registration open: European Set Theory Conference and YSTW2019

We opened registration for both the European Set Theory Conference and the Advanced Class (YST2019). You can register to the events separately by following the links below.

European Set Theory Conference 2019:

  • Early bird registration: Until the 15th of April. Fee: 150Euro.
  • Late registration: Until the 31st of May. Fee: 200Euro.

Advanced Class (YSTW 2019):

  • Early bird registration: Until the 15th of April. Fee: 150Euro.
  • Late registration: Until the 31st of May. Fee: 200Euro.

Please note the instructions for transferring the registration fee, in particular, the distinct Payment Reference numbers for the two conferences.

We are looking forward to seeing you in Vienna!

12th Young Set Theory Workshop, Vienna, 26-29 Jun 2019

The 12th Young Set Theory Workshop will be held June 26 – 29, 2019 in Vienna, Austria, as an
                      “Advanced Class in Set Theory”.

The workshop features tutorial lectures by leading experts in set theory,  research talks, poster and discussion sessions.  The tutorial speakers are: Jörg Brendle, Alexander Kechris, Justin Moore, Slawomir Solecki, Matteo Viale and Hugh Woodin.  The postdoctoral speakers are: Thomas Baumhauer, Filippo Calderoni, Spencer Unger and Zoltan Vidnyánszky. The organizing committee consists of: Vera Fischer, Sy-David Friedman, Benjamin Miller.

Registration opens on February 10th, 2019. For registration and further 
information see: 
<https://sites.google.com/view/estc2019/advanced-class-yst>

Early career researchers are encouraged to participate in our poster 
session!

We are looking forward to welcoming you to Vienna!

7th European Set Theory Conference, Vienna (Austria), 1-5 Jul 2019

The 7th European Set Theory Conference will be held July 1 – 5, 2019 in Vienna, Austria.

The conference features the presentation of the Hausdorff Medal, an initiative of the European Set Theory Society.

The currently confirmed invited speakers are: Jörg Brendle, Mirna Dzamonja, Todd Eisworth, Moti Gitik, Alexander Kechris, Piotr Koszmider, Maryanthe Malliaris, Justin Moore, Dima Sinapova, Slawomir Solecki, Boaz Tsaban, Anush Tserunyan, Matteo Viale and Hugh Woodin. The organizing committee includes: Vera Fischer, Sy-David Friedman, Benjamin Miller.

Registration opens on February 10th, 2019. For registration and further 
information please see <https://sites.google.com/view/estc2019>. Contributed talks are welcome!

We are looking forward to welcoming you in Vienna!

Berkeley conference on inner model theory, July 8-19, 2019

Organizers: Ralf Schindler (Münster) and John Steel (Berkeley).

This conference will be a sequel to the  1st Conference on the core model induction and hod mice that was held in Münster (FRG), July 19 — August 06, 2010, to the 2nd Conference on the core model induction and hod mice that was held in Münster (FRG), August 08 — 19, 2011, to the AIM Workshop on Descriptive Inner Model Theory, held in Palo Alto (CA), June 02 — 06, 2014, to the Conference on Descriptive Inner Model Theory, held in Berkeley (CA) June 09 — 13, 2014 to the 3rd Münster Conference on inner model theory, the core model induction, and hod micethat was held in Münster (FRG), July 20 — 31, 2015, to the 1st Irvine conference on descriptive inner model theory and hod mice that was held in Irvine (CA), July 18 — 29, 2016, to the 4th Münster Conference on inner model theory, the core model induction, and hod mice that was held in Münster (FRG), July 17 — August 01, 2017, as well as to the 1st Girona conference on inner model theory that was held in Girona (Catalonia), July 16 — 27, 2018. 

Once more, this conference will now draw together researchers and advanced students with an interest in inner model theory, in order to communicate and further explore recent work. There will be courses and single talks.

We will meet Monday–Friday, with 2 1/2 hours of lectures in the morning and 2 1/2 hours of lectures in the afternoon. This will leave ample time for problem sessions, informal seminars, and other interactions. 

For more information, see:
https://ivv5hpp.uni-muenster.de/u/rds/berkeley_meeting_2019.html.
If you are interested in particiating, then please go ahead and contact the organisers at rds@wwu.de and coremodel@berkeley.edu.