DROPS

Document

Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251)

Authors: Tiffany Barnes, Jan Vahrenhold, Thomas Zeume, and Florian Schmalstieg

Published in: Dagstuhl Reports, Volume 14, Issue 6 (2024)

Abstract

Introductory courses on formal foundations of computer science - including basic courses on theoretical computer science (regular and context-free languages, computability theory, and complexity theory) as well as on logic in computer science (propositional and first-order logic, modeling, and algorithms for evaluation and satisfaction of formulas) - are a cornerstone of computer science curricula, yet many students struggle with their often theoretical contents. The recent influx of students in computer science, as well as the shift towards the inclusion of more online-based teaching ask for advanced teaching support systems that aid both students and instructors. This Dagstuhl Seminar focussed on fostering discussion between researchers in computing education, builders of systems for teaching formal foundations, as well as instructors of these foundations in order to facilitate more robust research and development of systems to support teaching and learning of the formal foundations of computer science.

Cite as

Tiffany Barnes, Jan Vahrenhold, Thomas Zeume, and Florian Schmalstieg. Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251). In Dagstuhl Reports, Volume 14, Issue 6, pp. 108-129, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{barnes_et_al:DagRep.14.6.108,
  author =	{Barnes, Tiffany and Vahrenhold, Jan and Zeume, Thomas and Schmalstieg, Florian},
  title =	{{Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251)}},
  pages =	{108--129},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{6},
  editor =	{Barnes, Tiffany and Vahrenhold, Jan and Zeume, Thomas and Schmalstieg, Florian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6.108},
  URN =		{urn:nbn:de:0030-drops-227301},
  doi =		{10.4230/DagRep.14.6.108},
  annote =	{Keywords: artificial intelligence in education, computing education research, educational data mining, formal foundations of computer science, intelligent tutoring systems, user modeling and adaptive personalization, user studies}
}

Search Results

Documents authored by Barnes, Tiffany

Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251)

Abstract

Cite as

Thanks for your feedback!

Could not send message