From janos@cs.technion.ac.il Fri May 13 14:46:58 2022 From: Johann Makowsky To: finite-model-theory@lists.rwth-aachen.de Subject: [finite-model-theory] Third CFP LogTeach-22 Date: Fri, 13 May 2022 12:51:47 +0200 Message-ID: MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="===============3686396690131820418==" --===============3686396690131820418== Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Why and how to tech Logic for CS undergraduates? LogTeach-22: Why and how to teach Logic for CS undergraduates?

Third Call for Papers

https://www.cs.technion.ac.il/~janos/LogTeach-22/
https://easychair.org/cfp/LogTeach-22
Last updated: May 13, 2022

LogTeach-22: LICS 2022 Workshop (July 31 and August 1, 2022, Haifa)

Why and how to teach Logic for CS undergraduates?

NEW

This is an in-person meeting.
People who want to contribue, but cannot attend, care encouraged to=20 submit a short position paper .
If accepted by the PC these papers will be integrated into the panel=20 discussion planned for the workshop.
If any form of post-workshop publication will be planned, their authors will be contacted in order to contribute.

Scientific justification

Logic is one of the pillars of the foundation of Computer Science,=20 together with Algorithmic Mathematics, Information Theory, and Electronics. Consequently various versions of Logic courses used to be part of the=20 undergraduate syllabus of Computer Science. However, as witnessed by the variety of conferences=20 related to Logic present at the FLoC event, the emphasis has moved from the foundation to=20 applications of Logic in Computer Science. Each of these conferences deal with topics=20 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=20 forced to make place for courses deemed more suitable for the education of future specialists and=20 practitioners working in IT. Many of the top Universities worldwide have dropped foundational Logic=20 courses for undergraduates for more practical oriented courses, turning undergraduate CS programs=20 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=20 Logic in the undergraduate syllabus.It seems clear that the classical=20 Logic in CS courses have no place there anymore. They seem to teach and emphasize the wrong narrative of logic as taught by tradition.=20 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=20 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=20 ignore it" (Georg Kreisel)

Organisation

The purpose of the workshop is to prepare a joint position paper to be=20 published possibly in the Communications of ACM, or a similar prominent place, with=20 recommendations for the future of teaching Logic for undergraduate CS-students. We plan to have presentations of position papers (30 minutes, including=20 discussion) and invited lectures (60 minutes including discussion), followed by a=20 two hour panel discussion.

Invited speakers

+ confirmed, * tentative To be completed

Contributed talks

We invite contributed talks, which can be 15 minute or 30 minutes=20 (including discussion).
This will serve as the basis for the planned panel discussion.

Contributers should submit a pdf-file of an abstract or summary of=20 atmost 3 pages at
https://easychair.org/cfp/LogT= each-22 till 30. May, 2022.

Full papers may be additionally submitted only as a second submission=20 besides the 3 page version.

Workshop organizers and Program Committee

Dates and Location

FLOC is planned to be a conference with physical presence (possibly=20 hybrid) in Haifa.
People who cannot attend are encouraged to submit position=20 papers, see at the beginning of this call for submissions. --===============3686396690131820418==--