Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D G H J K M N O R S V Z

A
Avron, Arnon	What Should Students of a Course in Logic Know at Its End?
B
Baaz, Matthias	Teaching Logic
Bunina, Elena	How to teach logic for CS-undergraduate? Step-by-step!
C
Chaudhri, Vinay	The Herbrand Manifesto: Thinking Inside the Box
D
Davis, Ernest	My Experience Teaching Logic in Undergraduate AI at NYU}
G
Genesereth, Michael	The Herbrand Manifesto: Thinking Inside the Box
Gonczarowski, Yannai A.	Position Paper: Mathematical Logic through Python
H
Hamilton, Dennis	Logic for CS Undergraduates: A Sketch
Hirsch, Edward A.	Whom to teach logic?
J
Jacobsen, Frederik Krogsdal	Teaching Logic for Computer Science Students: Proof Assistants and Related Tools
K
Kahle, Reinhard	Logic for Students of Modern Artificial Intelligence
M
Makowsky, Johann	Why and how to teach logic for CS undergraduates
Moller, Faron	Introducing Logic by Stealth to Computer Science Students
Myers Jr, J Paul	Possible Desiderata for Logic in the CS Curriculum
N
Nisan, Noam	Position Paper: Mathematical Logic through Python
O
O'Reilly, Liam	Introducing Logic by Stealth to Computer Science Students
R
Ramanujam, R.	Logic for computer science: starting earlier, at school
S
Schwentick, Thomas	Teaching logic to CS undergraduates
V
Vardi, Moshe	How to be an ethical computer scientist (Joint with Vardi Fest)
Villadsen, Jørgen	Teaching Logic for Computer Science Students: Proof Assistants and Related Tools
Villemaire, Roger	Undergraduate Logic Teaching in Computing: Why, What, How?
Z
Zeume, Thomas	Teaching logic to CS undergraduates