[Alta-Logic] Supergroup talks this week, online "Summer" school in logic

[Richard Zach]

This week in the supergroup:

  * Later on Thursday is the first of our official supergroup talks. At
    19:00 GMT-5 [6pm Calgary time], Graham Priest will speak in the
    Melbourne Logic Seminar about Impossible Worlds.
  * Finally, on Friday at 11:00 GMT-5 [10 am Calgary time], Stephen Read
    will talk to us about Paul of Venice's solutions to logical paradoxes.

Also of potential interest to students:

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays
Summer School on Logic and Computation" as an online event, 12th October
– 16th October 2020.
https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.math.uni-goettingen.de%2Fsummer&data=02%7C01%7Cprooftheory%40lists.bath.ac.uk%7C76bdf5540d13429a8b6d08d83e20b143%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637327657420722933&sdata=C5dvRegEG%2BBETadi8zykC786DurkLW9kBxgQ%2FDyyTJA%3D&reserved=0 


This summer school offers a unique opportunity for undergraduate and
graduate students to experience compelling lectures on Logic and
Computation.

Encouraged by previous years of success, we offer students from all over
the world the possibility to sign up this 1-week (3 ECTS) Summer School
course covering topics such as:

- Gödel's Incompleteness Theorems.
- The Axioms of Zermelo and Fraenkel.
- Recursion and Complexity.
- Connexive logic.

Students may anticipate a high professional outcome in a dedicated
international environment.

Deadline for registration and grant applications: 12 September 2020

Further information about the summer school can be found at
https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.math.uni-goettingen.de%2Fsummer&data=02%7C01%7Cprooftheory%40lists.bath.ac.uk%7C76bdf5540d13429a8b6d08d83e20b143%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637327657420722933&sdata=C5dvRegEG%2BBETadi8zykC786DurkLW9kBxgQ%2FDyyTJA%3D&reserved=0. 


We kindly ask you to distribute this information to interested students
and please feel free to send any queries you or your students might have
to summer at math.uni-goettingen.de.

The summer school receives financial support of the DAAD, the German
Academic Exchange Service, with funds of the Foreign Office (Auswärtiges
Amt - AA).

The summer school is also endorsed by the following scientific
organizations:
- Académie Internationale de Philosophie des Sciences (AIPS)
- Association for Symbolic Logic (ASL)
- Deutsche Vereinigung für Mathematische Logik und für
Grundlagenforschung der Exakten Wissenschaften (DVMLG)
- European Association for Computer Science Logic
- Gesellschaft für Analytische Philosophie (gap)
- Kurt Gödel Society

Thank you in advance and best regards,
Hartje Kriete and Reinhard Kahle

-- 
Richard Zach                   https://richardzach.org/
Need an appointment? https://calendly.com/rzach/meeting

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200812/1610008a/attachment.html>