News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

31 July - 1 August 2022, LICS Workshop "LogTeach-22: Why & how to teach logic for CS undergraduates?", Haifa, Israel

Date: 31 July - 1 August 2022
Location: Haifa, Israel
Deadline: Monday 30 May 2022

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.

We plan to have presentations of position papers (30 minutes, including discussion). All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

  • Full papers discussing the purpose of teaching Logic for CS undergraduates
  • Position paper proposing a syllabus for  teaching Logic for CS undergraduates, as one course, within several compulsory courses, or arguing for dropping logic all together.

Please note that this newsitem has been archived, and may contain outdated information or links.