\n

Logic is one of the pillars of the foundation of Computer S cience, together with Algorithmic Mathematics, Inf ormation Theory, and Electronics. Consequently var ious versions of Logic courses used to be part of the undergraduate syllabus of Computer Science. Ho wever, as witnessed by the variety of conferences related to Logic present at the FLoC event, the em phasis has moved from the foundation to applicatio ns of Logic in Computer Science. Each of these con ferences deal with topics suitable for advanced un dergraduate and graduate courses, which require so me Logic based prerequisite. On the other hand, Lo gic courses in the undergraduate syllabus have bee n forced to make place for courses deemed more sui table for the education of future specialists and practitioners working in IT. Many of the top Unive rsities worldwide have dropped foundational Logic courses for undergraduates for more practical orie nted courses, turning undergraduate CS programs in to programs more suitable for what used to be voca tional colleges and professional schools.

\n < p>Time has come to critically reflect upon and ree valuate the role of Logic in the undergraduate syl labus. 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 logi c as taught by tradition. However, it seems also c lear that eliminating Logic courses all together i s counter productive. The purpose of the workshop is the prepare a proposal for a logic course Logic -2020 which is useful and acceptable for Universit y undergraduates in CS, and which can serve as a p rerequisite for the many diverse branches of appli ed logic.\n\n

URL:http://www.cs.technion.ac.il/~janos/LogTeach-2
2/
END:VEVENT
END:VCALENDAR
We plan to have p resentations of position papers (30 minutes, inclu ding discussion). All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are we lcome:

\n- \n
- Full papers discussing the purpose of teaching Logic for CS undergraduat es \n
- Position paper proposing a syllab us for teaching Logic for CS undergraduates, as one course, within several compulsory courses, or arguing for dropping logic all together. \ n