PLS13: THE THIRTEENTH PANHELLENIC LOGIC SYMPOSIUM ====================================================================== PLS13: THE THIRTEENTH PANHELLENIC LOGIC SYMPOSIUM July 14-18, 2021, Volos, Greece Organized by…
Posts
postdoc position at UW-Madison (deadline Dec 1, 2020)
Dear All, The UW-Madison math department expects to hire several postdocs this year, and the logic group expects to get…
CiE 2021 in Ghent, Belgium (virtual), July 5-9, 2021
========================= FIRST CALL FOR PAPERS: ========================= CiE 2021: Connecting with computability 5 – 9 July 2021 website: www.CiE2021.ugent.be **Due to…
MSRI Computability Seminar
MSRI Computability Seminar Alternating Thursdays and Fridays at 9:00am Pacific Time (This week Friday, 9/18) Organizer: Valentina Harizanov Registration link: https://www.msri.org/seminars/25206
non-tenure track positions for logicians in Nanjing University
There are also several non-tenure track research positions available (特聘助理研究员) for logicians in Nanjing University. The fixed salary are CNY200,000…
Call for Participation – CCA 2020
Call for Participation Seventeenth International Conference on Computability and Complexity in Analysis (CCA 2020) http://cca-net.de/cca2020/…
Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science – 2020
The Vienna Center for Logic and Algorithms of TU Wien (VCLA) has the pleasure to announce the recipients of the…
WDCM-2020
Dear all, Next week, there will be the Second Workshop on Digitalization and Computable Models, WDCM-2020 (Novosibirsk, Russia /…
Computability, complete your Privacy Checkup
…
Continuity, Computability, Constructivity 2020; call for submissions
Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2020) Faro (Portugal) or online 31 August – 4 September 2020…