Logic List Mailing Archive
LogTeach 2022: Why & how to teach logic for CS undergraduates?, Haifa (Israel), 31 Jul & 1 Aug 2022
*******************************************************************
LogTeach-22: Why and how to tech Logic for CS undergraduates?
*******************************************************************
=====================
Third Call for papers
=====================
https://www.cs.technion.ac.il/~janos/LogTeach-22/
https://easychair.org/cfp/LogTeach-22
NEW: This is an in-person meeting. People who want to contribute, but
cannot attend, are encouraged to submit a short position paper. If
accepted by the PC these papers will be integrated into the panel
discussion planned for the workshop. If any form of post-workshop
publication will be planned, their authors will be contacted in order to
contribute.
LogTeach-22: LICS 2022 Workshop (July 31 and August 1, 2022, Haifa)
Why and how to tech Logic for CS undergraduates?
Scientific justification
-------------------------
Logic is one of the pillars of the foundation of Computer Science, together
with Algorithmic Mathematics, Information Theory, and Electronics.
Consequently various versions of Logic courses used to be part of the
undergraduate syllabus
of Computer Science. However, as witnessed by the variety of conferences
related to Logic present
at the FLoC event, the emphasis has moved from the foundation to applications
of Logic in Computer Science. Each of these conferences deal with topics
suitable for advanced undergraduate
and graduate courses, which require some Logic based prerequisite.
On the other hand, Logic courses in the undergraduate syllabus have been forced
to make place for
courses deemed more suitable for the education of future specialists and
practitioners working in IT.
Many of the top Universities worldwide have dropped foundational Logic courses
for undergraduates
for more practical oriented courses, turning undergraduate CS programs into
programs more suitable
for what used to be vocational colleges and professional schools.
Time has come to critically reflect upon and reevaluate the role of Logic in
the undergraduate syllabus.
It seems clear that the classical Logic in CS courses have no place there
anymore. They seem to teach
and emphasize the wrong narrative of logic as taught by tradition. However, it
seems also clear that eliminating
Logic courses all together is counter productive.
The purpose of the workshop is the prepare a proposal for a logic
course Logic-2020 which is useful and acceptable for University undergraduates
in CS, and which can serve
as a prerequisite for the many diverse branches of applied logic.
"Logic may be not very useful, if you know it, but very harmful, if you ignore
it" (Georg Kreisel)
Invited speakers
----------------
+ confirmed, * tentative
+ Moshe Vardi (Rice University, Houston TA, USA)
+ Matthias Baaz (Technical University, Vienna, Austria)
+ Reinhold Kahle (Universität Tübingen, Tübingen, Germany)
+ Arnon Avron (TA University, Tel Aviv, Israel)
+ Martin Davis (Courant Institute, New York, USA)
+ Thomas Zeume (Ruhr Universität Bochum, Germany)
+ Edward Hirsch (Steklov Institute, St. Petersburg, visiting Technion,
Haifa)
----------------------------------------------------------------------------------
* Georg Gottlob (Oxford University, Oxford, Great Britain)
* Samson Abramsky (Oxford University, Oxford, Great Britain)
* Jeremy Avigad (Carnegy Mellon University, Pittsburgh PA, USA)
To be completed
Organisation
-------------
The purpose of the workshop is to prepare a joint position paper to be
published possibly in the Communications of ACM, or a similar prominent
place, with recommendations for the future of teaching Logic for
undergraduate CS-students. We plan to have presentations of position
papers (30 minutes, including discussion) and invited lectures (60 minutes
including discussion), followed by a two hour panel discussion.
Workshop organizers and Program Committee
------------------------------------------
J.A. Makowsky (Technion, Haifa, Israel)
E.V. Ravve (ORT Braude, Karmiel, Israel)
S.N. Artemov (CUNY, New York, USA)
S. Szeider (Technical University, Vienna, Austria)
Dates and Location
------------------
FLOC is planned to be a conference with physical presence in Haifa.
People who cannot attend are encouraged to submit position papers,
see at the beginning of this call for submissions.
* Submission link https://easychair.org/conferences/?conf=logteach22
* Deadline for submission of contributions : 30. May, 2022 (NEW)
* Notification of acceptance: 20. June, 2022
--
[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