UnDecidability, Hamburg

2nd and final Announcement:  Please circulate among your students.

Workshop “DMV-Studierendenkolleg: UnDecidability”
29. – 30. June 2018
Hamburg, Germany

There is no participation fee, but registration is required (ideally till 01. June 2018) The number of participants is limited and distributed by a first-come first-served principle! We also offer light meals.

WEBSITE
https://www.math.uni-hamburg.de/undecidability/

CONFIRMED SPEAKERS
Carolin Antos (U Konstanz)
Nathan Bowler (U Hamburg)
Martin Goldstern (TU Vienna)
Pascal Gollin (U Hamburg)
Regula Krapf (U Koblenz-Landau)
Christian Reiher (U Hamburg)
Daniel T. Soukup (U Vienna)

WHAT
This two days DMV Studierendenkolleg is concerned with the topic of undecidability. In several talks and workshops we will be introduced to the topic and receive an overview, also concerning the intersections with other topics in mathematics (here infinite combinatorics). Finally we will catch a glimpse of today’s scientific borders in two research talks.

WHO
The DMV Studierendenkolleg targets students of mathematics or similar subjects. Although the main target audience are bachelor and master students we are looking forward to also welcome interested PhD students or advanced scholars.

SPONSORING
Here we would like to sincerely thank our sponsors, who made this event possible! These are the
– German Mathematical Society (Deutsche Mathematiker-Vereinigung, DMV),
– Department for Mathematics of the University of Hamburg,
– Marie Curie Individual Fellowship (H2020-MSCA-IF-2015) project number 706219 – REGPROP.
– Evert Willem Beth Foundation (KNAW)   and
– Verein zur Ausrichtung von Tagungen am Fachbereich Mathematik der Universität Hamburg e.V. (VATFBMUHH)

CONTACT
undecidability (dot) math (at) uni-hamburg (dot) de

We are looking forward to welcome you in Hamburg! Karl Heuer, Hendrik Niehaus and Deniz Sarikaya

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

2. und finale Workshopankündigung. Bitte leitet die Ankündigung auch an eure Studierende weiter.

Workshop “DMV-Studierendenkolleg: UnDecidability”
29.-30. Juni 2018
Hamburg, Deutschland

Es gibt keine Teilnahmegebühr, aber eine Anmeldung ist bis zum 01. Juni 2018 notwendig. Die Plätze sind begrenzt und werden nach einem first-come first-served Prinzip vergeben! Außerdem wird ein kleines Catering vor Ort geben.

WEBSITE
https://www.math.uni-hamburg.de/undecidability/

BESTÄTIGTE VORTRAGENDE
Carolin Antos (U Konstanz)
Nathan Bowler (U Hamburg)
Martin Goldstern (TU Wien)
Pascal Gollin (U Hamburg)
Regula Krapf (U Koblenz-Landau)
Christian Reiher (U Hamburg)
Daniel T. Soukup (U Wien)

WAS
Dieses zweitägige DMV Studierendenkolleg beschäftigt sich mit dem Thema Unabhängigkeit/Unentscheidbarkeit. In mehreren Vorträgen und Workshops erhalten wir eine Einführung in und einen Überblick über das Thema sowie seine Berührungspunkte mit anderen Teilen der Mathematik, hier exemplarisch unendliche Kombinatorik. Final wenden wir uns in Forschungsvorträgen dem aktuellen Stand der Wissenschaft zu.

WER
Das DMV Studierendenkolleg richtet sich an Studierende der Mathematik und verwandter Fächer. Wir uns aber ebenfalls Doktorranden und Wissenschaftler begrüßen zu dürfen.

FÖRDERUNG
Wir möchten uns an dieser Stelle herzlich bei unseren Sponsoren bedanken, die diese Veranstaltung ermöglichen! Dies sind die Deutsche Mathematiker-Vereinigung (DMV), der Fachbereich Mathematik der Universität Hamburg, das Marie Curie Individual Fellowship (H2020-MSCA-IF-2015) project number 706219 – REGPROP, die Evert Willem Beth Foundation (KNAW) und der Verein zur Ausrichtung von Tagungen am Fachbereich Mathematik der Universität Hamburg e.V. (VATFBMUHH)

KONTAKT
undecidability (dot) math (at) uni-hamburg (dot) de

Wir freuen uns darauf Euch in Hamburg begrüßen zu können,
Karl Heuer, Hendrik Niehaus and Deniz Sarikaya

Advertisements

Very Informal European Gathering Bristol

Very Informal European Gathering Bristol 2018

The VIEG – 2018 will be held from 14.00 Fri. to the afternoon of Sat. June 8-9th 2018 at the School of Mathematics, University of Bristol

– To register, which is free, please mailto:p.welch@bristol.ac.uk
<p.welch@bristol.ac.uk>
– See: https://people.maths.bris.ac.uk/~mapdw/VIEG.htm

Invited participants include:

– David Aspero (UEA)
– Raffaela Cutolo (Naples)
– Mirna Dzamonja (UEA)
– Martin Goldstern (TU Vienna)
– Asaf Karagila (UEA)
– Benedikt Löwe (Hamburg, ILLC Amsterdam)
– Charles Morgan (Bristol)

Masterclass on Generalised Baire Spaces, Amsterdam

M A S T E R C L A S S
on Generalised Baire Spaces
22 August 2018 at the
Koninklijke Nederlandse Akademie van Wetenschappen KNAW
Het Trippenhuis, Amsterdam, The Netherlands
(with KNAW Academy Colloquium on 23 and 24 August 2018)

http://events.illc.uva.nl/KNAW2018/

In combination with the KNAW Academy Colloquium “Generalised Baire Spaces”, the Royal Netherlands Academy of Arts and Sciences is offering a one day Master Class on the topic of Generalised Baire Spaces. In classical descriptive set theory, Baire space is the most central topological space for the study of the real numbers, consisting of functions from omega to omega. Moving from omega to an uncountable cardinal kappa, one can consider *generalised Baire spaces*, the sets of functions from kappa to kappa. The study of these spaces has become a very important subject in set theory in the past decade.

The KNAW Academy Colloquium on Generalised Baire Spaces on 23 and 24 August is a meeting of the researchers of this field, exchanging the latest research results.

On the 22nd of August, we are organising a Master Class with four 2-hour courses taught by Andreas Blass, Jouko Vaananen, Andrew Brooke-Taylor, and Philipp Schlicht. This Master Class will teach the basic material needed to understand the research results discussed during the colloquium on the two following days. The following are the titles of the four classes:

Andreas BLASS. The classical theory of cardinal invariants.
Jouko VAANANEN. Generalized Baire spaces–basic concepts and motivation.
Andrew BROOKE-TAYLOR. Generalising the weak compactness of omega.
Philipp SCHLICHT. Descriptive set theory in the setting of generalized
Baire spaces.

We invite all graduate students in logic to participate in the Master class. Registration for the Master class is free, but we cannot provide any support for travel expenses and/or accommodation in Amsterdam. Space permitting, participants of the Master class are allowed to attend the colloquium lectures on the two following days.

In order to participate in the Master class, please register by sending an e-mail to Lorenzo Galeotti at

lorenzo[dot]galeotti[at]gmail[dot]com

before the deadline of 15 June 2018. This e-mail should contain

(a) your name and e-mail address,
(b) your current graduate student status (including your university),
(c) name and contact details of your supervisor, and
(d) a brief (one paragraph) explanation why you’re interested in
the topic.

Accessible categories and their connections, Leeds

Accessible categories and their connections
– set theory – model theory – homotopy theory –

17-20 July 2018, University of Leeds

Accessible categories are notable for their importance in other areas of mathematics, be it through combinatorial model categories in homotopy theory or abstract elementary classes in model theory, with large cardinal axioms from set theory often thrown into the mix.  The goal of this workshop is to bring together practitioners from these different fields to try to break down barriers and build new connections.

Website: http://www1.maths.leeds.ac.uk/~pmtadb/AccessibleCategories2018/

There is no registration fee, but those wishing to attend should email a.d.brooke-taylor@leeds.ac.uk with “Accessible categories registration” in the subject line and their name and affiliation in the message body to register.  Those wishing to offer a contributed talk should send their title and abstract by June 11th.

Colloquium Logicum 2018 Bayreuth

Colloquium Logicum 2018
http://www.cl2018.uni-bayreuth.de

14-16 September 2018, Bayreuth, Germany

Submission deadline: May 16th, 2018
—————————————-

The Colloquium Logicum is organized every two years by the “Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften” (DVMLG). In 2018 the colloquium is jointly organized by the Chair of Philosophy 1 and the Chair for Theoretical Computer Science of the University of Bayreuth, Germany. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence.

Keynote Speakers.

* Isolde Adler (Leeds, England)
* Joerg Brendle (Kobe, Japan)
* Douglas Cenzer (Gainesville FL, U.S.A.)
* Laura Fontanella (Marseille, France)
* Benny Kimelfeld (Haifa, Israel)
* Yang Liu (Cambridge, England)
* Sara Negri (Helsinki, Finland)
* Charlotte Werndl (Salzburg, Austria)

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 for talks in 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=cl2018

The submission deadline is

* Wednesday, May 16th, 2018.

Authors will be notified about acceptance soon after that.

Programme Committee

* A. Ciabattoni (Wien, Austria),
* V. Harizanov (Washington, U.S.A.),
* D. Klein (Bayreuth, Germany),
* D. Kuske (Ilmenau Germany),
* B. Loewe (Amsterdam, the Netherlands & Hamburg, Germany),
* W. Martens (Bayreuth, Germany),
* D. Macpherson (Leeds, U.K.),
* H. Mildenberger (Freiburg, Germany),
* O. Roy (chair, Bayreuth, Germany).

Webpage: http://www.cl2018.uni-bayreuth.de

The Colloquium Logicum 2018 is generously funded by the Deutsche
Forschungsgemeinschaft (DFG-grant LO 834/16-1).

If you have any questions, please contact us by email at
olivier.roy@uni-bayreuth.de .

Position in mathematical logic in Torino

We are happy to announce that there is an opening for a tenure-track position in mathematical logic in the mathematics department at the University of Torino, Italy. The prospective applicant should have a strong background in any field of mathematical logic.

Tenure will be decided after three years, and is subordinate to the candidate having obtained the “Abilitazione Scientifica Nazionale”, the Italian habilitation for being an associate professor in mathematical logic.
In order to apply there is a number requirements to be fulfilled, which involve several of delicate bureaucratic steps to be undertaken right away.
There is also a number of issues regarding the duties which come along with the position one must be aware before applying.
The application period will last one month and will be announced in the next two months, while the position will start in early 2019—all the relevant deadlines are not yet known.

Those willing to apply should contact any one of us at their earliest convenience, in order to get the relevant information.
The email address is firstname.familyname@unito.it

Best wishes,

Alessandro Andretta (full professor in mathematical logic — Torino University)
Luca Motto Ros (associate professor in mathematical logic — Torino University)
Matteo Viale (associate professor in mathematical logic — Torino University)

16 fully funded PhD positions on Logical Methods in Computer Science, Austria

TU Wien, TU Graz, and JKU Linz are seeking 16 doctoral students for our joint doctoral program on Logical Methods in Computer Science (LogiCS) fully funded by the Austrian Science Fund (FWF).

Please see the flyer: LogiCS_Flyer_2018

The link to the program: http://bit.ly/July12018

Watch the YouTube video: LogiCS through the students´ eyes: http://bit.ly/HotspotVienna

THE PROGRAM

LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering

(i) computational logic,

(ii) databases and artificial intelligence,

(iii) computer-aided verification, and

(iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.

FACULTY MEMBERS

Austria has a vibrant and highly active and successful logic in computer science community. Students are supervised by leading researchers in their fields:

E. Bartocci, A. Biere, R. Bloem, A. Ciabattoni,

G. Gottlob, T. Eiter, R. Grosu, L. Kovacs

M. Maffei, M. Ortiz, U. Schmid, M. Seidl

S.Szeider, G. Weissenbacher, S. Woltran

POSITIONS AND FUNDING

We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates.

The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund.

Additional positions will be available through other funding.

HOW TO APPLY

The applicants are expected to have completed an excellent bachelor’s and master’s degree in computer science, mathematics, or a related field.

Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis.

Applications will be screened on the following dates:

June 1, 2018

July 1, 2018

September 1, 2018

The positions will be filled on continuous basis till October 2018.

Applications by the candidates need to be submitted electronically.

Detailed information: http://logic-cs.at/phd/admission/

LOGIC IN AUSTRIA

Austria has a highly active and successful logic in computer science community.

Recent activities include:

vsl2014.at

Vienna Summer of Logic, the Largest Conference in the History of Logic

algo2017.ac.tuwien.ac.at

ALGO 2017

http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/

FMCAD 2017

www.arise.or.at

Austrian Research Network in Rigorous Systems Engineering

vcla.at

Vienna Center for Logic and Algorithms

kgs.logic.at

International Kurt Goedel Society

HIGHEST QUALITY OF LIFE

The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses.

For further information please contact:

info@logic-cs.at

Web: www.vcla.at/

Facebook: bit.ly/FBVCLA

Twitter: @vclaTUwien