Engaging students with theory through ACM collegiate programming contest

Authors:
Nikolay V. Shilov;Kwangkeun Yi
Affiliations:
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia;Korea Advanced Institute of Science and Technology, Daejeon, Korea
Venue:
Communications of the ACM
Year:
2002

Citing 3
Cited 3

Logics of programs

Handbook of theoretical computer science (vol. B)
What (else) should CS educators know?

Communications of the ACM
Engaging girls with computers through software games

Communications of the ACM

Programming contest strategy

Computers & Education
IT-adventures: turning high school students "ON" to information technology

FIE'09 Proceedings of the 39th IEEE international conference on Frontiers in education conference
Evaluation of localization and activity recognition systems for ambient assisted living: The experience of the 2012 EvAAL competition

Journal of Ambient Intelligence and Smart Environments - Context Awareness

Quantified Score

Hi-index	48.22

Visualization

Abstract

How formal methods can be presented in a popular---but mathematically sound---manner to undergraduate students of various disciplines.