Workshop Title
Dates
URL
ThEdu is open to all aspects of the design or use of logical tools (proof assistants, automated theorem provers, model checkers, model finders, rich type systems, property-based testing, and more) for education in science (especially in the teaching of logic, mathematics and computer science). This includes work about the design of tools and libraries for education, experience reports, and evaluation of their effectiveness for learning.
ThEdu will have multiple kinds of activities:
- Regular paper presentations
- Plenary demos, where the presenters shows their tool to all the attendees (there is limited time for these)
- Hands-on demos, akin to a poster session, where participants can visit several tools and interact with each one with the help of the demonstrators (there is time for many more of these)
- Discussions on challenges and opportunities in logic education, such as: designing usable interfaces, evaluating educational impact, adapting tools to diverse audiences, and integrating tools into curricula
In your submission, please make clear what kind of activity you are proposing. (If you propose more than one, please submit each one separately, since they will be considered independently.)
Research Papers: These should be in the usual form of a scientific paper. They must be original, unpublished work that has not been submitted for publication elsewhere. Accepted papers will receive a plenary presentation slot.
Repeat Papers: These are about works strongly tied to the theme of the workshop, have already been published elsewhere, but would be of real interest to the attendees. These submissions will not become part of the formal academic record of the workshop; their only trace will be a listing in the program. Authors are therefore welcome to submit an already-published paper whose copyright they may or may not own. The submission should be preceded by a cover page that describes why this paper is relevant, and indicates where and when it was published. Accepted papers will receive a plenary presentation slot. Authors should, however, consider whether one of the other formats would be a better fit.
Plenary Demos: These should describe the artifact (tool, website, book, etc.) to be demoed. The submission should explain what the presentation is likely to entail. Please note that we may have a very limited number of slots for these; we encourage people requesting plenary demos to also submit a hands-on demo proposal.
Hands-On Demos: These should describe the artifact (tool, website, book, etc.) to be demoed. The submission should make clear what a person visiting the demo might do. We recognize that not all of these will necessarily involve the visitor interacting with a computer (especially depending on the nature of the artifact itself); it may be a plenary-style demo but with much more opportunity for human interaction.
Discussions: These should crisply describe the topic and explain why it might lead to an interesting discussion. A topic might either be a statement of a position (asserting some claim) or a question (e.g., asking the community how it has managed to address some problem). Like a good research question, a good discussion topic should ideally not have a binary answer but instead allow for a range of views. Furthermore, a topic on which almost everyone might agree (e.g., that there is insufficient funding) is not likely to be interesting! Accepted submissions will receive a plenary discussion slot.
All accepted submissions (excluding Repeat Papers) will be made available through the conference site.
Novel submissions (excluding Repeat Papers) must be between 2 and 10 pages (excluding bibliography and potential appendices). We anticipate that Discussion Topic submissions might be on the shorter end of this range, but all the others will be at least 5 pages long and probably even longer. For submissions that have several screenshots, we recommend having 1–2 key ones in the main submission body and putting the remainder in an appendix.
Please use the EPCTS format. Submit using FILL.
At least one of the authors of each accepted submission is expected to attend and present their work.
Extended Abstracts: FILL
Author Notification: FILL
Workshop Day: FILL