13 Jan 2022
PATHS IN LOGIC - World Logic Day Celebration at Haifa (Online) Thursday - January 13, 2022 A Zoom meeting to celebrate the World Logic Day 2022 (which is actually a day later ) https://sites.google.com/view/wld2022-haifa <https://sites.google.com/view/wld2022-haifa> = Call for registration: We are organizing a one-day online workshop to commemorate the World Logic Day. Registration is free of charge and everybody is invited to participate. The event is particularly tailored towards the needs of students who are considering a career in logic. == Speaker: 1. Thorsten Altenkirch (Computer Science at the University of Nothingham) 2. Menachem Magidor (Mathematics at the Hebrew University of Jerusalem) 3. Lavinia Picollo (Philosophy at the NUS and UCL) 4. TBA, a perspective from practice In the lunch break there is an informal non-mandatory session on study/research opportunities in Israel. == World Logic Day This event is part of the celebration of the World Logic Day. If you would like to contribute an event as well, please see http://wld.cipsh.international/organise_event.html for further information. == Topic: Logic deals with correct and incorrect reasoning, the connection between language and the world, and examines how we can use language to make correct statements about structures. It lies at the interface between mathematics, philosophy and computer science. This workshop aims to provide a window into Logic from four perspective, namely Mathematics, Philosophy, Computer Science and from real world application. Are you interested in the basics of mathematics, philosophy and computer science and are you considering taking logic courses in your department or other departments or writing a thesis in logic? This workshop is mainly aimed at undergraduate and graduate students but everybody is welcome. == Registration: The number of participants is limited and registrations will be accepted on a first come, first serve basis. Therefore please register as soon as possible. There are no costs associated with registration. To receive the zoom link, please see here for further information: https://sites.google.com/view/wld2022-haifa <https://sites.google.com/view/wld2022-haifa> Or go directly to the registration form: https://forms.gle/evE65UUGmm54Dfcv7 <https://forms.gle/evE65UUGmm54Dfcv7> == Contact: Web: https://sites.google.com/view/wld2022-haifa <https://sites.google.com/view/wld2022-haifa> Mail: balthasar.grabmayr@gmx.net <mailto:balthasar.grabmayr@gmx.net> == Organizers: Balthasar Grabmayr (University of Haifa) & Deniz Sarikaya (University of Hamburg) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam