TFPIE2022 - Revision history

JorgenVilladsen: /* Presentation session 2 (Chair: Peter Achten) */

2022-03-16T11:19:22Z

Presentation session 2 (Chair: Peter Achten)

← Older revision		Revision as of 11:19, 16 March 2022
Line 106:		Line 106:
	[[12:25 - 12:45]] '''Teaching Functional Programmers Logic and Metatheory''' ''Frederik Krogsdal Jacobsen and Jørgen Villadsen'' - Technical University of Denmark, Copenhagen, Denmark		[[12:25 - 12:45]] '''Teaching Functional Programmers Logic and Metatheory''' ''Frederik Krogsdal Jacobsen and Jørgen Villadsen'' - Technical University of Denmark, Copenhagen, Denmark
	* [[File:TFPIE_2022_Jacobsen_Villadsen.pdf]]		* [[File:TFPIE_2022_Jacobsen_Villadsen.pdf]]
			* [[File:TFPIE_2022_Jacobsen_Villadsen_Slides.pdf]]

	==== Hello tables ====		==== Hello tables ====

ChristopherAnand at 00:11, 16 March 2022

2022-03-16T00:11:49Z

← Older revision		Revision as of 00:11, 16 March 2022
Line 140:		Line 140:

	[[16:25 - 16:45]] '''Toward Smart Mentor Dispatch: Can we predict when children need help to overcome errors or other roadblocks?''' ''Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand'' - McMaster University, Hamilton, Ontario, Canada		[[16:25 - 16:45]] '''Toward Smart Mentor Dispatch: Can we predict when children need help to overcome errors or other roadblocks?''' ''Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand'' - McMaster University, Hamilton, Ontario, Canada
			* [http://www.cas.mcmaster.ca/~anand/TFPIEMentorDispatch.pdf Extended Abstract]
			* [http://www.cas.mcmaster.ca/~anand/Towards_Smart_Mentor_Dispatch_TFPIE2022.pdf Presentation Slides]

	[[16:45 - 17:30]] Wrap-up, followed by breakout rooms		[[16:45 - 17:30]] Wrap-up, followed by breakout rooms

ChristopherAnand at 23:46, 15 March 2022

2022-03-15T23:46:26Z

← Older revision		Revision as of 23:46, 15 March 2022
Line 136:		Line 136:

	[[16:00 - 16:20]] '''Teaching Interaction using State Diagrams''' ''Padma Pasupathi, Christopher Schankula, Nicole DiVincenzo, Sarah Coker and Christopher Anand'' - McMaster University, Hamilton, Ontario, Canada		[[16:00 - 16:20]] '''Teaching Interaction using State Diagrams''' ''Padma Pasupathi, Christopher Schankula, Nicole DiVincenzo, Sarah Coker and Christopher Anand'' - McMaster University, Hamilton, Ontario, Canada
			* [http://www.cas.mcmaster.ca/~anand/TFPIEStateDiagrams.pdf Paper Draft]
			* [http://www.cas.mcmaster.ca/~anand/TFPIE2022StateDiagramsMcMaster.pdf Presentation Slides]

	[[16:25 - 16:45]] '''Toward Smart Mentor Dispatch: Can we predict when children need help to overcome errors or other roadblocks?''' ''Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand'' - McMaster University, Hamilton, Ontario, Canada		[[16:25 - 16:45]] '''Toward Smart Mentor Dispatch: Can we predict when children need help to overcome errors or other roadblocks?''' ''Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand'' - McMaster University, Hamilton, Ontario, Canada

	[[16:45 - 17:30]] Wrap-up, followed by breakout rooms		[[16:45 - 17:30]] Wrap-up, followed by breakout rooms

JorgenVilladsen: /* Presentation session 2 (Chair: Peter Achten) */

2022-03-15T22:55:28Z

Presentation session 2 (Chair: Peter Achten)

← Older revision		Revision as of 22:55, 15 March 2022
Line 105:		Line 105:

	[[12:25 - 12:45]] '''Teaching Functional Programmers Logic and Metatheory''' ''Frederik Krogsdal Jacobsen and Jørgen Villadsen'' - Technical University of Denmark, Copenhagen, Denmark		[[12:25 - 12:45]] '''Teaching Functional Programmers Logic and Metatheory''' ''Frederik Krogsdal Jacobsen and Jørgen Villadsen'' - Technical University of Denmark, Copenhagen, Denmark
			* [[File:TFPIE_2022_Jacobsen_Villadsen.pdf]]

	==== Hello tables ====		==== Hello tables ====

KevinKappelmann: /* Presentation session 3 (Chair: Christopher Anand) */

2022-03-15T22:40:14Z

Presentation session 3 (Chair: Christopher Anand)

← Older revision		Revision as of 22:40, 15 March 2022
Line 122:		Line 122:

	[[15:00 - 15:20]] '''Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space''' ''Kevin Kappelmann, Jonas Rädle and Lukas Stevens'' - Technical University of Munich, Munich, Germany		[[15:00 - 15:20]] '''Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space''' ''Kevin Kappelmann, Jonas Rädle and Lukas Stevens'' - Technical University of Munich, Munich, Germany
	* [https://github.com/kappelmann/engaging-large-scale-functional-programming/~~releases~~/~~download/pdf~~/engaging_fp_education.pdf Paper Draft]		* [https://github.com/kappelmann/engaging-large-scale-functional-programming/blob/pdfs/engaging_fp_education.pdf Paper Draft]
			* [https://github.com/kappelmann/engaging-large-scale-functional-programming/blob/pdfs/presentation_TFPIE2022.pdf Presentation Slides]
	* [https://github.com/kappelmann/engaging-large-scale-functional-programming/ Resources Repository]		* [https://github.com/kappelmann/engaging-large-scale-functional-programming/ Resources Repository]

DmitryKondratyev: /* Presentation session 1 (Chair: Youyou Cong) */

2022-03-15T20:34:01Z

Presentation session 1 (Chair: Youyou Cong)

← Older revision		Revision as of 20:34, 15 March 2022
Line 91:		Line 91:

	[[11:10 - 11:30]] '''Functional programming learning path''' ''Lidia Gorodnyaya and Dmitry Kondratyev'' - A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia		[[11:10 - 11:30]] '''Functional programming learning path''' ''Lidia Gorodnyaya and Dmitry Kondratyev'' - A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
			* [[Media:Functional_programming_learning_path.pdf\|Paper draft]]
			* [[Media:GorodnyayaKondratyev.pdf\|Presentation slides]]

	[[11:35 - 11:55]] '''Teaching Simple Constructive Proofs with Haskell Programs''' ''Matthew Farrugia-Roberts and Harald Sondergaard'' - The University of Melbourne, Melbourne, Australia		[[11:35 - 11:55]] '''Teaching Simple Constructive Proofs with Haskell Programs''' ''Matthew Farrugia-Roberts and Harald Sondergaard'' - The University of Melbourne, Melbourne, Australia

Peter88: /* Keynote address (Chair: Marco Morazan) */

2022-03-15T20:03:55Z

Keynote address (Chair: Marco Morazan)

← Older revision		Revision as of 20:03, 15 March 2022
Line 112:		Line 112:
	==== Keynote address (Chair: Marco Morazan) ====		==== Keynote address (Chair: Marco Morazan) ====

	[[13:30 - 14:30]] '''Keynote: The Perfect Functional Programming Course''' ''Peter Achten'' - Radboud University Nijmegen, The Netherlands [[File:Keynote_TFPIE_2022_The_Perfect_FP_Course.pdf]]		[[13:30 - 14:30]] '''Keynote: The Perfect Functional Programming Course''' ''Peter Achten'' - Radboud University Nijmegen, The Netherlands
			* [[File:Keynote_TFPIE_2022_The_Perfect_FP_Course.pdf]]

	[[14:30 - 15:00]] Break (zoom off)		[[14:30 - 15:00]] Break (zoom off)

Morazanm: /* Presentation session 3 (Chair: Christopher Anand) */

2022-03-15T13:37:25Z

Presentation session 3 (Chair: Christopher Anand)

← Older revision		Revision as of 13:37, 15 March 2022
Line 123:		Line 123:

	[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA		[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA
	* [~~https~~:~~//studentshu~~-~~my.sharepoint~~.~~com/:b:/g/personal/morazanm_shu_edu/EfTOw6WJOWdBvWW6zcYueEoB-3zRthDz2MRYWJh_ZcnH1g?e=I9DN0c Draft Article~~]		* [[File:Intro-Func-Objects-CS1.pdf]]
	* [[File:Slides-tfpie2022.pdf]]		* [[File:Slides-tfpie2022.pdf]]

Morazanm: /* Presentation session 3 (Chair: Christopher Anand) */

2022-03-15T13:34:17Z

Presentation session 3 (Chair: Christopher Anand)

← Older revision		Revision as of 13:34, 15 March 2022
Line 124:		Line 124:
	[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA		[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA
	* [https://studentshu-my.sharepoint.com/:b:/g/personal/morazanm_shu_edu/EfTOw6WJOWdBvWW6zcYueEoB-3zRthDz2MRYWJh_ZcnH1g?e=I9DN0c Draft Article]		* [https://studentshu-my.sharepoint.com/:b:/g/personal/morazanm_shu_edu/EfTOw6WJOWdBvWW6zcYueEoB-3zRthDz2MRYWJh_ZcnH1g?e=I9DN0c Draft Article]
	* [[File:~~Keynote_TFPIE_2022_The_Perfect_FP_Course~~.pdf]]		* [[File:Slides-tfpie2022.pdf]]

	[[15:45 - 16:00]] Coffee break (zoom on)		[[15:45 - 16:00]] Coffee break (zoom on)

Morazanm: /* Presentation session 3 (Chair: Christopher Anand) */

2022-03-15T13:33:01Z

Presentation session 3 (Chair: Christopher Anand)

← Older revision		Revision as of 13:33, 15 March 2022
Line 124:		Line 124:
	[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA		[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA
	* [https://studentshu-my.sharepoint.com/:b:/g/personal/morazanm_shu_edu/EfTOw6WJOWdBvWW6zcYueEoB-3zRthDz2MRYWJh_ZcnH1g?e=I9DN0c Draft Article]		* [https://studentshu-my.sharepoint.com/:b:/g/personal/morazanm_shu_edu/EfTOw6WJOWdBvWW6zcYueEoB-3zRthDz2MRYWJh_ZcnH1g?e=I9DN0c Draft Article]
	* [~~https~~:~~//studentshu-my~~.~~sharepoint.com/:b:/g/personal/morazanm_shu_edu/EbElspZjuflFsMXd9l9V3LEBnIjwpuLl8UAgMChCa8MZ4Q?e=TFyGTo Presentation slides~~]		* [[File:Keynote_TFPIE_2022_The_Perfect_FP_Course.pdf]]

	[[15:45 - 16:00]] Coffee break (zoom on)		[[15:45 - 16:00]] Coffee break (zoom on)