[TYPES/announce] Call for Presentations for "Teaching Functional Programming in OCaml" as part of the OCaml Workshop 2022

Brigitte Pientka bpientka at cs.mcgill.ca
Fri May 13 13:28:53 EDT 2022

**** Special Session / Call for Presentations for "Teaching Functional Programming in OCaml" as part of the OCaml Workshop 2022 ****

Abstract Submission: 6 June 2022
Author Notification: 7 July 2022
OCaml Workshop     : 9 Sept 2022

The OCaml Workshop 2022, co-located with ICFP 2022, will take place the 2022-09-16 and will be held at Ljubljana, Slovenia. This year, we would like to organize a special session on "Teaching Functional Programming in OCaml".

Hence, we would like to encourage and invite submissions for presentations that highlight teaching practices and innovation that highlights how OCaml is taught around the globe and the wide range of tools and strategies that have been developed to teach effectively functional programming using OCaml. In particular, we are interested in automated program evaluation / grading tools / error analysis (both type and syntax errors) for OCaml programs, tools that provide assistance in practical lessons (such as pair programming for example), Jupiter notebooks like solutions to interactively introduce programming concepts, or full featured web platforms. We are particularly seeking contributions and experience reports of the Learn-OCaml online programming environment which has been used by the OCaml teaching community for online but also for regular in-person class. The goal is to share experiences, exchange ideas and tools, and promote best practices.

Interested researchers are invited to submit and register a description of the talk (about 2 pages long) at https://ocaml2022.hotcrp.com/ <https://ocaml2022.hotcrp.com/>providing a clear statement of what will be provided by the presentation: the problems that are addressed, the solutions or methods that are proposed.

LaTeX-produced PDFs are a common and welcome submission format. For accessibility purposes, we ask PDF submitters to also provide the sources of their submission in a textual format, such as .tex sources. Reviewers may read either the submitted PDF or the text version.

The OCaml workshop and this special session is an informal meeting with no formal proceedings. The presentation material will be available online from the workshop homepage. The presentations may be recorded and made available at a later date.

The main presentation format is a workshop talk, traditionally around 20 minutes in length, plus question time, but we also have a poster session during the workshop - this allows to present more diverse work, and gives time for discussion. The program committee for the OCaml Workshop will decide which presentations should be delivered as posters or talks.

Simão Melo de Sousa (University of Beira Interior)
Brigitte Pientka (McGill University)
Yann Regis-Gianas (Paris Diderot University)
Xujie Si  (McGill University)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220513/5da8108d/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Message signed with OpenPGP
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220513/5da8108d/attachment-0001.asc>

More information about the Types-announce mailing list