January 14th, 2023 New Administrative capital, Egypt
World Logic Day in The Nile Valley
World Logic Day is an international day proclaimed by UNESCO in November 2019 to be celebrated on 14 January every year. The date chosen to celebrate this international day corresponds to the date of death of Kurt Gödel and the date of birth of Alfred Tarski, two of the most prominent logicians of the twentieth century.
We are pleased to announce that The Universities of Canada in Egypt is organizing a hybrid conference celebrating the Fifth World Logic Day on 14 January 2023. This event aims to gather people who are interested in logic from any of its aspects: mathematical, philosophical, historical, and the relation between logic and other fields, e.g., physics and computer science.
The conference will consist of invited talks only, and there will be no parallel sessions. Participation is free of charge.
The book of abstracts can be found here.
-
Prof. Tarek Sayed Ahmed
Department of Mathematics, Faculty of Science
Cairo University -
Dr. Mohamed Khaled
Faculty of Mathematics and Computational Sciences
University of Prince Edward Island - Cairo Campus
Session 0: Opening
-
09:00 09:15
Kim Critchley
Provost of University of Prince Edward Island – Cairo Campus
New Administrative Capital, Egypt -
09:15 09:30
Mohamed Khaled
Faculty of Mathematics and Computational Sciences
University of Prince Edward Island – Cairo Campus
New Administrative Capital, Egypt
Agenda
- Session I
- Session II
- Session III
- Session IV
- Session V
- Session VI
-
09:30 10:00
Sherif Salem
Department of Philosophy, Faculty of Arts and Social Sciences
Simon Fraser University
Burnaby, B.C., Canada -
10:00 10:30
Mohamed Amer and Tarek Sayed Ahmed
Department of Mathematics, Faculty of Science
Cairo University
Giza, Egypt -
10:30 11:00
Coffee Break
-
11:00 11:30
László Szabó
Department of Logic, Institute of Philosophy
Eötvös Loránd University
Budapest, Hungary -
11:30 12:00
Wafik Lotfallah
Department of Mathematics and Actuarial Science
The American University in Cairo
Cairo, Egypt -
12:00 12:30
Coffee Break
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Donec odio. Quisque volutpat mattis eros. Nullam malesuada erat ut turpis. Lorem ispum dolor sit amet.
-
12:30 13:00
Felip Manyà
Artificial Intelligence Research Institute
Spanish National Research Council
Bellaterra, Spain
and
Jordi Coll
National Center for Scientific Research
University of Aix-Marseille & University of Toulon
Marseille, France -
13:00 13:30
Botros Nasif
Faculty of Mathematics and Computational Sciences
University of Prince Edward Island - Cairo Campus
New Administrative Capital, Egypt -
13:30 14:30
Lunch Break
-
14:30 15:00
Gábor Sági
Alfréd Rényi Institute of Mathematics
Eötvös Loránd Research Network
Budapest, Hungary -
15:00 15:30
Tarek Sayed Ahmed
Department of Mathematics, Faculty of Science
Cairo University
Giza, Egypt -
15:30 16:00
Coffee Break
-
16:00 16:30
Hajnal Andréka and István Németi
Alfréd Rényi Institute of Mathematics
Eötvös Loránd Research Network
Budapest, Hungary -
16:30 17:00
Daoud Siniora
Department of Mathematics and Actuarial Science
The American University in Cairo
Cairo, Egypt -
17:00 17:30
Coffee Break
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Donec odio. Quisque volutpat mattis eros. Nullam malesuada erat ut turpis. Lorem ispum dolor sit amet.
-
17:30 18:00
Gergely Székely & Judit Madarász
Alfréd Rényi Institute of Mathematics
Eötvös Loránd Research Network
Budapest, Hungary -
18:00 18:30
Mohamed Khaled
Faculty of Mathematics and Computational Sciences
University of Prince Edward Island - Cairo Campus
New Administrative Capital, Egypt