LOGTEACH PROGRAM
Days: Sunday, July 31st Monday, August 1st
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 1F
Chair:
Location: Ullmann 301
| 09:00 | Why and how to teach logic for CS undergraduates |
| 10:00 | How to teach logic for CS-undergraduate? Step-by-step! (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 10I
Chair:
Location: Ullmann 301
| 11:00 | Position Paper: Mathematical Logic through Python (abstract) PRESENTER: Noam Nisan |
| 12:00 | Whom to teach logic? (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 14I
Chair:
Location: Ullmann 301
| 14:00 | Undergraduate Logic Teaching in Computing: Why, What, How? (abstract)   |
| 15:00 | Introducing Logic by Stealth to Computer Science Students (abstract) PRESENTER: Liam O'Reilly |
15:30-16:00Coffee Break
16:00-17:30 Session 19H
Chair:
Location: Ullmann 301
| 16:00 | Logic for CS Undergraduates: A Sketch (abstract) |
| 16:30 | Logic for Students of Modern Artificial Intelligence (abstract) |
17:30-19:00 Session 24C
Chair:
Location: Ullmann 301
| 17:30 | The Herbrand Manifesto: Thinking Inside the Box (abstract) PRESENTER: Vinay Chaudhri |
| 18:30 | Teaching logic to CS undergraduates (abstract) PRESENTER: Thomas Zeume |
Monday, August 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26D
Chair:
Location: Ullmann 301
| 09:00 | Teaching Logic (abstract) |
| 10:00 | Logic for computer science: starting earlier, at school (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 31F
Chair:
Location: Ullmann 301
| 11:00 | What Should Students of a Course in Logic Know at Its End? (abstract) |
| 12:00 | My Experience Teaching Logic in Undergraduate AI at NYU} (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 34G
Chair:
Location: Ullmann 301
| 14:00 | Possible Desiderata for Logic in the CS Curriculum (abstract) |
| 15:00 | Teaching Logic for Computer Science Students: Proof Assistants and Related Tools (abstract) PRESENTER: Frederik Krogsdal Jacobsen |
15:30-16:00Coffee Break
17:00-18:00 Session 39B: Joint Session with Vardi-Fest
Chair:
Location: Taub 1
| 17:00 | How to be an ethical computer scientist (Joint with Vardi Fest) (abstract) |
18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event