forum.math.uoa.gr

Forum του Τμήματος Μαθηματικών
Ημερομηνία 22 Οκτ 2018, 13:36

Όλοι οι χρόνοι είναι UTC + 2 ώρες [ DST ]




Δημιουργία νέου θέματος Απάντηση στο θέμα  [ 1 δημοσίευση ] 
Συγγραφέας Μήνυμα
 Θέμα δημοσίευσης: Hilbert-Bernays Summer School on Logic and Computation - edi
ΔημοσίευσηΔημοσιεύτηκε: 19 Απρ 2018, 19:11 
Χωρίς σύνδεση

Εγγραφη: 14 Μάιος 2012, 15:17
Δημοσ.: 77
Dear collegues,

the Georg-August-Universität Göttingen organizes a "Hilbert-Bernays
Summer School on Logic and Computation" taking place 22th July – 28th
July 2018 in Göttingen, Germany, cf. www.math.uni-goettingen.de/summer

This summer school offers a unique opportunity for undergraduate and
graduate students of mathematics, computer science or philosophy to
experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we invite students from all
over the world to sign up this 1-week Summer School course covering
topics such as:
- From abstract mathematics to verified programs
- Gödel's Incompleteness Theorems
- Ordinal analysis
- roof-Theoretic Semantics

Students may anticipate a high professional outcome in a dedicated
international environment along with extra-curricular activities.

The summer school receives financial support of the DAAD, the German
Academic Exchange Service, with funds of the Foreign Office (Auswärtiges
Amt - AA), to give a number of grants for foreign students to cover
travel and living expanses.

Deadline for registration and grant applications: 30 April 2018.
Applications submitted after this deadline will be considered on
first-comes-first-serves base until all available places are filled.

Further information about the summer school can be found at
www.math.uni-goettingen.de/summer.

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@math.uni-goettingen.de.

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

--
Dr Hartje Kriete
Faculty of Mathematics and Computer Science
University of Goettingen
Bunsenstr. 3/5
37073 Goettingen
Germany


Κορυφή
 Προφίλ  
 
Τελευταίες δημοσιεύσεις:  Ταξινόμηση κατά  
Δημιουργία νέου θέματος Απάντηση στο θέμα  [ 1 δημοσίευση ] 

Όλοι οι χρόνοι είναι UTC + 2 ώρες [ DST ]


Μελη σε συνδεση

Μέλη σε αυτή την Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες


Δεν μπορείτε να δημοσιεύετε νέα θέματα σε αυτή τη Δ. Συζήτηση
Δεν μπορείτε να απαντάτε σε θέματα σε αυτή τη Δ. Συζήτηση
Δεν μπορείτε να επεξεργάζεστε τις δημοσιεύσεις σας σε αυτή τη Δ. Συζήτηση
Δεν μπορείτε να διαγράφετε τις δημοσιεύσεις σας σε αυτή τη Δ. Συζήτηση

Αναζήτηση για:
Μετάβαση σε:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group