[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
The FME Tutorial series continues!
This week we have the pleasure of listening to Dr Tim Nelson's (Brown
University, US) lecture on
Friday June 17, 2022, at 3 pm CET. His talk is entitled "Building Formal
Methods Classes for Everybody". The abstract of Dr Nelson's lecture is here:
We think math and logic are beautiful and essential. If you teach a formal
methods class, you probably agree. Some of our students, perhaps the most
visible to us, also feel that way. But what about the other 90%, the students
who aren’t inclined to take our classes or any non-required “theory” class at
all? If formal methods really are essential, we owe every student an
opportunity to explore them, discover useful ideas, and maybe even fall in love.
Some people derisively respond to a more inclusive class by assuming it will
coddle students. On the contrary, these students have their own strengths and
abilities that we can and should design rigorous content around. After all,
many of them will build the technologies we all use every day, so deepening
their view of formalism satisfies both moral and selfish imperatives. This talk
will cover the design space of such a course: pedagogy, tool choice (sometimes
building our own!), assignment design, and even TA hiring. I’ll talk about
things that have worked well for us, other things that didn’t, and what we
learned along the way.
The zoom link is https://aboakademi.zoom.us/j/64254430116. The event will last
about an hour.
Warmly welcome!!
Best wishes,
Luigia
PS1: the tutorial series webpage is updated with the list of speakers who
confirmed their lectures in 2022 here:
https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!VM5bFBUo6f-WYoWibb6Crb6VLTIJIUffRRTXNGPo1mKyE9PrNrihU26A_Q3BCmdMKYD8OUlH4sFizZvYewqwPFQ-SFe-cS7IQs1b$
.
Please note that we have a speaker every month from now on until October!!
PS2: the June 2022 lecture is scheduled exceptionally on the 17th of the month,
instead of the usual last Friday of the month, due to the summer holidays of
some of the involved academics.
__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!VM5bFBUo6f-WYoWibb6Crb6VLTIJIUffRRTXNGPo1mKyE9PrNrihU26A_Q3BCmdMKYD8OUlH4sFizZvYewqwPFQ-SFe-cUumMt3h$
