Archives of: Samuel Coskey

MAMLS at VCU, April 1-2, 2017

MAMLS at VCU will be a gathering of set theorists working on large cardinals, inner models, forcing and relative consistency results, sponsored by the NSF and the Department of Mathematics and Applied Mathematics at Virginia Commonwealth University. While graduate students, young researchers, female mathematicians and members of underrepresented groups are particularly encouraged to apply for travel support, it should be stressed that any participants without their own sources of funding are eligible to apply. Requests will be handled on a case-by-case basis within the limits of the budget. To apply for travel support, contact vcumamls@gmail.com.

The meeting begins at 8:30am on April 1 and ends at 12pm on April 2. See the web site for more information and updates: http://www.people.vcu.edu/~bmcody/mamls2017/

Speakers

Omer Ben-Neria University of California at Los Angeles
James Cummings Carnegie Mellon University
Monroe Eskew Virginia Commonwealth University
Victoria Gitman City University of New York
Joel David Hamkins City University of New York
John Krueger University of North Texas
Dima Sinapova University of Illinois at Chicago
Hugh Woodin Harvard University

Thematic semester on Descriptive Set Theory and Polish Groups

This is an announcement of the forthcoming thematic semester on Descriptive Set Theory and Polish Groups that will take place at the Bernoulli Center in Lausanne, Switzerland, from January 1st to June 30th, 2018.

http://bernoulli.epfl.ch/

The focus of the semester will be on Descriptive Set Theory and Polish Groups along with applications in other branches of mathematics. While there will be continuous activity at the center throughout the semester, three conferences and two additional workshops will provide the main events. The themes of these will be

Borel combinatorics and ergodic theory
Structure and dynamics of Polish groups
Descriptive set theory
Ideals and exceptional sets in Polish spaces
Large scale geometry of Polish groups

2017 North American ASL Meeting: March 20-23, 2017

Conference web site

Plenary speakers
M. Aschenbrenner (UCLA)
C. Conley (Carnegie Mellon University)
I. Kalimullin (Kazan Federal Univeristy)
P. Koellner (Harvard University)
A. Medvedev (City College of New York)
A. Rinot (Bar-Ilan University)
M. Seisenberger (Swansea University)

Tutorial
V. Harizanov (George Washington University)

Special Sessions
Continuous model theory (Bradd Hart and Ward Henson)
Computable structure theory (Denis Hirschfeldt and Russell Miller)
Applications of set theory to topology and analysis (Michael Hrusak and Marion Scheepers)
Complexity theory and automated proofs (Sam Buss and Vijay Ganesh)
Philosophy Session (Kenneth Easwaran and Catarina Dutilh Novaes)

Program Committee
Liljana Babinkostova, Boise State University
Gregory Cherlin, Rutgers University
Barbara Csima, University of Waterloo
Antonina Kolokolova, Memorial University of Newfoundland
Justin Moore (chair), Cornell University

Local organizers
Liljana Babinkostova
Andrew Cortens
Samuel Coskey
Stephen Crowley
Randall Holmes
Alex Jackson
Marion Scheepers

BEST 2016 slides

The 23rd BEST conference was held June 15–16 in San Diego, CA.

Shehzad Ahmed – Jonsson cardinals and pcf theory
Liljana Babinkostova – A weakening of the closure operator
Kyle Beserra – On the conjugacy problem for automorphisms of countable regular trees
Erin Carmody – Killing them softly
William Chan – Every analytic equivalence relation with all Borel classes is Borel somewhere
John Clemens – Relative primeness of equivalence relations
Paul Corazza – The axiom of infinity, quantum field theory, and large cardinals
Cody Dance – Indiscernibles for $L[T_2,x]$
Natasha Dobrinen – Ramsey spaces coding universal triangle-free graphs and applications to Ramsey degrees
Paul Ellis – A Borel amalgamation property
Monroe Eskew – Rigid ideals
Daniel Hathaway – Disjoint Borel functions
Jared Holshouser – Partition properties for non-ordinal sets under the axiom of determinacy
Paul McKenney – Automorphisms of $\mathcal P(\lambda)/\mathcal I_\kappa
Kaethe Minden – Subcomplete forcing and trees
Daniel Soukup – Orientations of graphs with uncountable chromatic number
Simon Thomas – The isomorphism and bi-embeddability relations for finitely generated groups
Douglas Ulrich – A new notion of cardinality for countable first order theories
Kameryn Williams – Minimal models of Kelley-Morse set theory
Martin Zeman – Master conditions from huge embeddings

Large Cardinals and Strong Logics: September 5 through December 16

Dear colleague,

We would like to inform you about the forthcoming CRM Intensive Research Program on Large Cardinals and Strong Logics, to be held from September 5 to December 16, 2016.

The National Science Foundation and the Association for Symbolic Logic offer grants to participate in the program and its scientific events. You can check the program’s web page for further information at
http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/IRP-Large-Cardinals-and-Strong-Logics.aspx

Description

Many natural mathematical concepts cannot be expressed in first-order logic but need stronger logics. Among such concepts are the freeness of a group, separability of a space, completeness of an order, etc. By a strong logic we mean model-theoretically defined extensions of first-order logic, such as first-order logic with generalized quantifiers, infinitary logics, second-order logic, as well as higher-order logics. The study of strong logics runs immediately into questions that depend essentially on set-theoretical assumptions beyond the standard ZFC axioms, such as infinitary combinatorial principles and the existence of large cardinals. It is therefore crucial to be able to pinpoint the position of a given strong logic in the set-theoretical definability hierarchy, thus helping us understand better the set-theoretical nature of the logic, and therefore of the mathematical notions it can express.

Objectives

This program will bring to the CRM a diverse group of international high-level researchers working in strong logics, large cardinals, the foundations of set theory, and the applications of set-theoretical methods in other areas of mathematics, such as algebra, set-theoretical topology, category theory, algebraic topology, homotopy theory, C*-algebras, measure theory, etc. In all these areas there are not only direct set-theoretical applications but also new results and methods, which are amenable to the expressive power of strong logics.

During the Research Program the following activities will be held:

Advanced Course on Large Cardinals and Strong Logics, from September 19 to 23, 2016.
Deadline for registration: August 1st, 2016. More information on registration and grants available at
http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/AC_Large-Cardinals.aspx

Workshop 1: Set-theoretical aspects of the model theory of strong logics, from September 26 to 30, 2016.
Deadline for registration: August 1st, 2016. More information on registration and grants available at
http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/W1_LargeCardinals.aspx

Young researcher’s Seminar week, from November 7 to 11, 2016.
You can participate by presenting your work before October 31, 2016.
More information on how to participate at
http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/Young-researcher’s-Seminar-week.aspx

Workshop 2: Applications of strong logics in other areas of mathematics, from November 14 to 18, 2016.
Deadline for registration: November 6, 2016. More information on registration and grants available at
http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/W2-LargeCardinals.aspx. Note: This workshop will take place in Barcelona, in the old University of Barcelona building (not in Bellaterra).

Please, feel free to distribute this information among your colleagues.

We hope you find this information useful and look forward to hosting you at the CRM.
Joan Bagaria (Universitat de Barcelona), Menachem Magidor (Einstein Institute of Mathematics of The Hebrew University of Jerusalem), and Jouko Väänänen (University of Helsinki).
Program’s Scientific Organizers

23rd Boise Extravaganza in Set Theory, June 15-16, 2016

BOISE EXTRAVAGANZA IN SET THEORY (BEST) – ANNOUNCEMENT 1.
Conference Website: http://diamond.boisestate.edu/~best/
DATE: June 15 – 16, 2016
WHERE: University of San Diego

The 23-rd annual meeting of BEST will be hosted at the University of San Diego as a symposium of the 97th annual meeting of the American Association for the Advancement of Science – Pacific Division (AAAS-PD). Contributed and invited talks at BEST will be held on Wednesday and Thursday.
\
In addition to the invited speakers, the conference program has several speaking slots for shorter talks. We strongly encourage students, post docs and pre-tenure tenure track faculty to present at BEST. NSF supported funding to assist a limited number of student speakers, post-doc speakers and pre-tenure tenure track faculty speakers is available. For details on applying to the BEST program committee for these, please visit the conference website at the URL provided above. In addition, the AAAS-PD provides up to $150 in travel funding for students. Please see the BEST conference website for more details on these also. There are a number of deadlines associated with applications for a travel grant.

Currently confirmed plenary speakers for BEST 2015 are:

Dr. Erin Carmody, Nebraska Wesleyan University
Dr. Natasha Dobrinen, University of Denver
Dr. Simon Thomas, Rutgers University
Dr. Martin Zeman, University of California – Irvine

Special features of BEST 2016 include:

In addition to the BEST symposium there are several other symposia and workshops of interest offered at the AAAS-PD annual meeting. On Thursday, June 16, the AAAS-PD hosts a banquet at which awards of excellence are given to student speakers selected by a panel of judges.

Student, post-doc and pre-tenure tenure track speakers are strongly encouraged to apply to BEST for an NSF-funded travel award. The travel expenses (airfare and lodging) of awarded speakers will be reimbursed up to the maximum amount of the award, and registration fees of awardees will be reimbursed.

STUDENT SPEAKERS:
==================
BEST seeks to promote student participation in the conference via short (20 minute) presentations. To this end there are eight (8) NSF funded BEST travel awards available for students. To apply for one of these awards, please follow the instructions given at the BEST website.

In addition to the BEST travel awards, up to 20 travel awards of up to $150 each are also available from the AAAS-PD to help students (including students participating in BEST) defray travel expenses to participate in the AAAS-PD annual meeting. Winners of these AAAS-PD travel awards will be announced at the AAAS-PD student award banquet. Student participants will be guests at this banquet.

POST-DOC and PRE-TENURE TENURE TRACK SPEAKERS:
===============================================
BEST also seeks to be a forum for early career set theoretic scholars. In particular there are NSF funded BEST travel awards available for post-docs, and for pre-tenure tenure track faculty. To apply for one of these awards, please follow the instructions given at the BEST website.\

CONTRIBUTED TALKS:
===================

The BEST schedule will also have a number of slots for 25 minute contributed talks. Anyone wishing to speak at BEST 2016 should submit an abstract as soon as possible (preferably prior to April 05) at the abstract submission site. It is strongly recommended to also contact one of the organizers as soon as possible to indicate interest/intention in presenting a talk at BEST 2016.

Important deadlines:

DEADLINE 1: REGISTRATION: Please consult http://diamond.boisestate.edu/~best/ for registration costs and deadlines. Registration fees depend on date of registration. We kindly request that Ph.D. mathematicians planning to participate in BEST 2016 consider acting as judges for the student presentations. The registration form has a place where willingness to act\’a0 as a judge can be indicated.

There are also a number of excursions available that can be indicated on the registration form. Also consider attending the awards banquet in support of our student speakers – meal choices are available on the registration form.

DEADLINE 2: ABSTRACTS: Atlas Conferences, Inc. is providing abstract services for BEST 2016. Abstracts submitted by April 5 will appear in the proceedings of the annual conference of the AAAS-PD. The url for the abstract submission is available at the BEST 2016 website.

DEADLINE 3: TRAVEL GRANTS: Presenting students, post-docs or pre-tenure tenure track faculty, please complete the application process to BEST by May 15. See the BEST 2016 website for details. Students, the deadline for the AAAS-PD student travel grants is May 1, 5:00 p.m. Pacific time.

Organized by Liljana Babinkostova, Sam Coskey and Marion Scheepers.

For any questions, please contact an organizer or e-mail best@math.boisestate.edu

Colloquium Logicum 2016

Call for Papers

COLLOQUIUM LOGICUM 2016
www.math.uni-hamburg.de/spag/ml/CL2016

10-12 September 2016, Hamburg, Germany

Submission deadline: 20 June, 2016
______________________________________________________________

The Colloquium Logicum is organized every two years by the “Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften” (DVMLG).

In 2016 the colloquium is organized by the group “Mathematical Logic and Interdisciplinary Applications of Logic” of the University of Hamburg, Germany.

The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.

Keynote Speakers.

* Dana Bartosova (São Paulo, Brazil)
* Elisabeth Bouscaren (Paris, France)
* Ekaterina Fokina (Vienna, Austria)
* Laura Fontanella (Jerusalem, Israel)
* Philipp Hieronymi (Urbana-Champaign, IL, USA)
* Rosalie Iemhoff (Utrecht, the Netherlands)
* Gyesik Lee (Anseong, South Korea)
* Norbert Preining (JAIST, Nomi, Ishikawa, Japan)
* Szymon Toruńczyk (Warsaw, Poland)
* Charlotte Werndl (Salzburg, Austria and London, UK)

In addition to the keynote talks, there will be a “PhD Colloquium” with invited presentations of excellent recent PhD graduates.

The programme committee invites the submission of abstracts of papers of all fields of research covered by the DVMLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence).

Abstracts should have between 100 and 500 words and are to be submitted via the easychair submission page

* https://easychair.org/conferences/?conf=cl2016

The submission deadline is

* Monday, 20 June, 2016.

Authors of papers will be notified about acceptance soon after that.

Programme Committee

* Matthias Aschenbrenner (Los Angeles, USA)
* Arnold Beckmann (Swansea, USA)
* Manuel Bodirsky (Dresden, Germany)
* Martin Hils (Paris, France)
* Benedikt Löwe (Amsterdam, the Netherlands and Hamburg, Germany)
* Thomas Müller (Konstanz, Germany)
* Anca Muscholl (Bordeaux, France)
* Michael Rathjen (Leeds, UK)
* Olivier Roy (Bayreuth, Germany)
* Nicole Schweikardt (Berlin, Germany)
* Mariya Soskova (Sofia, Bulgaria)
* Martin Ziegler (Daejeon, South Korea)

Webpage

* http://www.math.uni-hamburg.de/spag/ml/CL2016/

The Colloquium Logicum 2016 is generously funded by the Deutsche Forschungsgemeinschaft (DFG-grant LO 834/14-1)

If you have any questions, please contact us by email at cl2016.math@lists.uni-hamburg.de.

New York Graduate Student Logic Conference

We are pleased to announce the fifth New York Graduate Student Logic Conference will be held Thursday and Friday, May 12-13, 2016, at the CUNY Graduate Center located in midtown Manhattan. We are honored that Matt Foreman of University of California, Irvine will be our plenary speaker.

The goal of the NY Graduate Student Logic Conferences is to promote graduate education in logic by bringing together the best graduate students working in any part of the subject. Students meet and hear talks by other students in logic, give talks on their own research or on their research area, and have the opportunity to interact with senior logicians. While there is no fee for participants, please do register at https://sites.google.com/site/nygradstudentlogicconference/home
Modest support for travel expenses is available; please apply with registration if needed.

The organizers Shoshana Friedman of KBCC, CUNY, and Sheila Miller of City Tech, CUNY invite students of mathematical logic and related areas to submit abstracts for talks. Talks may be either on original research or expository in nature, and should be directed at other students of logic. Please submit abstracts to NYGradStudentLogicConference@gmail.com. In your e-mail please give your full name, postal address and email address, the name of your institution, number of years in the program, and the name of a reference who is familiar with your work, together with the contact information of that person. Your abstracts should reach us by March 25, 2016.

Bonn Set Theory Workshop 2016

The Set Theory group in Bonn is hosting a workshop on “Generalised Baire spaces” on the 21st and 22nd of September 2016. This workshop is the third in a series of workshops on generalized descriptive set theory (Amsterdam 2014, Hamburg 2015). It will feature two tutorials and two longer research talks by senior speakers and research talks by junior speakers. Moreover, we want to motivate participants to stay in Bonn on the day after the workshop, on which we will provide opportunities for research collaboration.

http://www.hcm.uni-bonn.de/events/eventpages/2016/bonn-set-theory-workshop-2016-generalized-baire-spaces/

The registration deadline is the 31st of March 2016.

Confirmed senior speakers:
– David Asperó (Norwich)
– Sy David Friedman (Vienna)
– Benedikt Löwe (Amsterdam, Hamburg)
– Luca Motto Ros (Turin)

Local organizers:
– Peter Holy
– Peter Koepke
– Philipp Lücke
– Philipp Schlicht

We would be very happy to welcome you in Bonn in September!

IM PAN conference: Transfinite methods in Banach spaces and algebras of operators, July 18-22 2016

We are pleased to announce that a conference entitled “Transfinite methods in Banach spaces and algebras of operators” will take place at Bedlewo Conference Center, Poland, 18-22 July 2016.

The list of speakers will include:

Tristan Bice (Salvador), Christina Brech (Sao Paulo), Yemon Choi (Lancaster; tbc), Marek Cuth (Prague), Garth Dales (Lancaster), Alan Dow (North Carolina), Valentin Ferenczi (Sao Paulo), Joanna Garbulinska (Kielce), Gilles Godefroy (Paris VI), Bill Johnson (Texas A&M; tbc), Tomasz Kochanek (IM PAN), Jordi Lopez-Abad (ICMAT Madrid), Pavlos Motakis (Texas A&M), Grzegorz Plebanek (Wroclaw), Jose Rodriguez (Murcia), Thomas Schlumprecht (Texas A&M), Jesus Suarez (Caceres) and Stevo Todorcevic (CRNS, Toronto).

For more details, please see the webpage:

http://www.impan.pl/~set_theory/Banach2016/