TFPIE2014 - Revision history

Peter88: /* EPTCS Proceedings */

2015-03-18T10:20:03Z

EPTCS Proceedings

← Older revision		Revision as of 10:20, 18 March 2015
Line 78:		Line 78:
	These formal proceedings have been published by EPTCS volume 170.		These formal proceedings have been published by EPTCS volume 170.
	You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2014 the formal TFPIE 2014 proceedings].		You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2014 the formal TFPIE 2014 proceedings].
	~~They will appear at arXiv~~.org ~~as well~~. A link ~~will be included as soon as it is available~~.		Alternatively, you can follow [http://arxiv.org/abs/1412.4738 this link to arXiv.org].

	# Report on a User Test and Extension of a Type Debugger for Novice Programmers (Yuki Ishii, Kenichi Asai)		# Report on a User Test and Extension of a Type Debugger for Novice Programmers (Yuki Ishii, Kenichi Asai)

Peter88: /* Invited Speaker */

2014-12-12T08:36:22Z

Invited Speaker

← Older revision		Revision as of 08:36, 12 December 2014
Line 86:		Line 86:
	# Learn Physics by Programming in Haskell (Scott N. Walck)		# Learn Physics by Programming in Haskell (Scott N. Walck)
	# Simple Balanced Binary Search Trees (Prabhakar Ragde)		# Simple Balanced Binary Search Trees (Prabhakar Ragde)

	~~=== Invited Speaker ===~~
	It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ Johan Jeuring] has accepted our invitation to give an invited talk! Johan Jeuring is professor of Software Technology for Learning and Teaching at Utrecht University (Institute of Information and Computing Sciences) and professor of Software Technology at the Open University (School of Computer Science). The subject of his presentation is: Automatic tutoring and assessing functional programs.

Peter88: /* Preliminary program */

2014-12-12T08:36:05Z

Preliminary program

← Older revision		Revision as of 08:36, 12 December 2014
Line 70:		Line 70:

	[[17:55 - 18:00]] close		[[17:55 - 18:00]] close

			=== Invited Speaker ===
			It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ Johan Jeuring] has accepted our invitation to give an invited talk! Johan Jeuring is professor of Software Technology for Learning and Teaching at Utrecht University (Institute of Information and Computing Sciences) and professor of Software Technology at the Open University (School of Computer Science). The subject of his presentation is: Automatic tutoring and assessing functional programs.

	== EPTCS Proceedings ==		== EPTCS Proceedings ==

Peter88: /* Preliminary program + EPTCS proceedings */

2014-12-12T08:35:29Z

Preliminary program + EPTCS proceedings

@@ Line 70: / Line 70: @@
 [[17:55 - 18:00]] close
 === Invited Speaker ===
 It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ Johan Jeuring] has accepted our invitation to give an invited talk! Johan Jeuring is professor of Software Technology for Learning and Teaching at Utrecht University (Institute of Information and Computing Sciences) and professor of Software Technology at the Open University (School of Computer Science). The subject of his presentation is: Automatic tutoring and assessing functional programs.

Pieter: /* Preliminary program */

2014-06-18T06:12:07Z

Preliminary program

← Older revision		Revision as of 06:12, 18 June 2014
Line 49:		Line 49:
	'''Session IV: Teaching Computer Science Topics (other than FP)''' [chair: Marco Morazán]		'''Session IV: Teaching Computer Science Topics (other than FP)''' [chair: Marco Morazán]

	[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf\|PREPRINT]]		[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf\|PREPRINT]], [[:File:TFPIE14.pieter.slides.pdf\|SLIDES]]

	[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf\|PREPRINT]], [[:File:Tfpie2014-teaching-sw-arch.pdf\|SLIDES]]		[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf\|PREPRINT]], [[:File:Tfpie2014-teaching-sw-arch.pdf\|SLIDES]]

AlejandroSerrano: /* Preliminary program */

2014-06-16T07:40:53Z

Preliminary program

← Older revision		Revision as of 07:40, 16 June 2014
Line 51:		Line 51:
	[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf\|PREPRINT]]		[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf\|PREPRINT]]

	[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf\|PREPRINT]]		[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf\|PREPRINT]], [[:File:Tfpie2014-teaching-sw-arch.pdf\|SLIDES]]

	[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf\|PREPRINT]]		[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf\|PREPRINT]]

JohanJeuring: /* Preliminary program */

2014-05-27T06:47:52Z

Preliminary program

← Older revision		Revision as of 06:47, 27 May 2014
Line 9:		Line 9:
	[[8:30 - 9:00]] registration + welcome		[[8:30 - 9:00]] registration + welcome

	[[9:00 - 10:00]] '''invited talk Johan Jeuring: Automatic tutoring and assessing functional programs'''		[[9:00 - 10:00]] '''invited talk Johan Jeuring: Automatic tutoring and assessing functional programs''' [[:File:TFPIEJeuring.pdf\|SLIDES]]

	[[10:00 - 10:15]] break		[[10:00 - 10:15]] break

ScottWalck: /* Preliminary program */

2014-05-26T15:50:50Z

Preliminary program

← Older revision		Revision as of 15:50, 26 May 2014
Line 42:		Line 42:
	[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[:File:tfpie2014_submission_11.pdf\|PREPRINT]], [[:File:tfpie2014_submission_11_slides.pdf\|SLIDES]]		[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[:File:tfpie2014_submission_11.pdf\|PREPRINT]], [[:File:tfpie2014_submission_11_slides.pdf\|SLIDES]]

	[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[:File:tfpie2014_submission_6.pdf\|PREPRINT]]		[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[:File:tfpie2014_submission_6.pdf\|PREPRINT]], [[:File:LearnPhysics.pdf\|SLIDES]]

	[[14:45 - 15:00]] break		[[14:45 - 15:00]] break

VadimZaytsev: beautification

2014-05-26T15:01:02Z

beautification

Morazanm: /* Preliminary program */

2014-05-26T14:01:50Z

Preliminary program

← Older revision		Revision as of 14:01, 26 May 2014
Line 31:		Line 31:
	[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux''' [''Juan Michelini, Alvaro Tasistro''] [[File:tfpie2014_submission_15.pdf]]		[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux''' [''Juan Michelini, Alvaro Tasistro''] [[File:tfpie2014_submission_15.pdf]]

	[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses''' [''Marco T. Morazán, Rosario Antunez''] [[File:tfpie2014_submission_14.pdf]] [[File:FSM.pdf]]		[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses''' [''Marco T. Morazán, Rosario Antunez''] Preprint:[[File:tfpie2014_submission_14.pdf]] Slides: [[File:FSM.pdf]]

	[[12:30 - 13:45]] lunch		[[12:30 - 13:45]] lunch

← Older revision		Revision as of 07:40, 16 June 2014
Line 51:		Line 51:
	[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf\|PREPRINT]]		[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf\|PREPRINT]]

	[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf\|PREPRINT]]		[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf\|PREPRINT]], [[:File:Tfpie2014-teaching-sw-arch.pdf\|SLIDES]]

	[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf\|PREPRINT]]		[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf\|PREPRINT]]

← Older revision		Revision as of 15:01, 26 May 2014
Line 16:		Line 16:
	'''Session I: Pedagogical tooling''' [chair: Prabhakar Ragde]		'''Session I: Pedagogical tooling''' [chair: Prabhakar Ragde]

	[[10:15 - 10:35]] '''Bricklayer: An authentic introduction to the FPL SML''' [''Victor Winter''] [[File:tfpie2014_submission_1.pdf]]		[[10:15 - 10:35]] '''Bricklayer: An authentic introduction to the FPL SML''' [''Victor Winter''] [[:File:tfpie2014_submission_1.pdf\|PREPRINT]]

	[[10:35 - 10:55]] '''Evaluating Haskell expressions in a tutoring environment''' [''Tim Olmer, Bastiaan Heeren, Johan Jeuring''] [[File:tfpie2014_submission_4.pdf]]		[[10:35 - 10:55]] '''Evaluating Haskell expressions in a tutoring environment''' [''Tim Olmer, Bastiaan Heeren, Johan Jeuring''] [[:File:tfpie2014_submission_4.pdf\|PREPRINT]]

	[[10:55 - 11:15]] '''Report on a User Test and Extension of a Type Debugger for Novice Programmers''' [''Yuki Ishii, Kenichi Asai''] [[File:tfpie2014_submission_10.pdf]]		[[10:55 - 11:15]] '''Report on a User Test and Extension of a Type Debugger for Novice Programmers''' [''Yuki Ishii, Kenichi Asai''] [[:File:tfpie2014_submission_10.pdf\|PREPRINT]]

	[[11:15 - 11:30]] break		[[11:15 - 11:30]] break
Line 27:		Line 27:
	'''Session II: Teaching Mathematical Structure''' [chair: Jurriaan Hage]		'''Session II: Teaching Mathematical Structure''' [chair: Jurriaan Hage]

	[[11:30 - 11:50]] '''Course on a Mathematical Presentation of Functional Programming''' [''Alvaro Tasistro, Juan Michelini, Nora Szasz''] [[File:tfpie2014_submission_13.pdf]]		[[11:30 - 11:50]] '''Course on a Mathematical Presentation of Functional Programming''' [''Alvaro Tasistro, Juan Michelini, Nora Szasz''] [[:File:tfpie2014_submission_13.pdf\|PREPRINT]]

	[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux''' [''Juan Michelini, Alvaro Tasistro''] [[File:tfpie2014_submission_15.pdf]]		[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux''' [''Juan Michelini, Alvaro Tasistro''] [[:File:tfpie2014_submission_15.pdf\|ABSTRACT]]

	[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses''' [''Marco T. Morazán, Rosario Antunez''] ~~Preprint:~~[[File:tfpie2014_submission_14.pdf]] ~~Slides:~~ [[File:FSM.pdf]]		[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses''' [''Marco T. Morazán, Rosario Antunez''] [[:File:tfpie2014_submission_14.pdf\|PREPRINT]], [[:File:FSM.pdf\|SLIDES]]

	[[12:30 - 13:45]] lunch		[[12:30 - 13:45]] lunch
Line 38:		Line 38:
	'''Session III: Topics from the Physical World''' [chair: Pieter Koopman]		'''Session III: Topics from the Physical World''' [chair: Pieter Koopman]

	[[13:45 - 14:05]] '''Hardware design using Haskell and ClaSH''' [''Rinse Wester, Jan Kuper, Christiaan Baaij''] [[File:tfpie2014_submission_9.pdf]]		[[13:45 - 14:05]] '''Hardware design using Haskell and ClaSH''' [''Rinse Wester, Jan Kuper, Christiaan Baaij''] [[:File:tfpie2014_submission_9.pdf\|PREPRINT]]

	[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[File:tfpie2014_submission_11.pdf]] [[File:tfpie2014_submission_11_slides.pdf]]		[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[:File:tfpie2014_submission_11.pdf\|PREPRINT]], [[:File:tfpie2014_submission_11_slides.pdf\|SLIDES]]

	[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[File:tfpie2014_submission_6.pdf]]		[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[:File:tfpie2014_submission_6.pdf\|PREPRINT]]

	[[14:45 - 15:00]] break		[[14:45 - 15:00]] break
Line 49:		Line 49:
	'''Session IV: Teaching Computer Science Topics (other than FP)''' [chair: Marco Morazán]		'''Session IV: Teaching Computer Science Topics (other than FP)''' [chair: Marco Morazán]

	[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[File:tfpie2014_submission_12.pdf]]		[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf\|PREPRINT]]

	[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[File:tfpie2014_submission_5.pdf]]		[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf\|PREPRINT]]

	[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[File:tfpie2014_submission_8.pdf]]		[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf\|PREPRINT]]

	[[16:00 - 16:15]] break		[[16:00 - 16:15]] break
Line 60:		Line 60:
	'''Session V: Education Formats''' [chair: Johan Jeuring]		'''Session V: Education Formats''' [chair: Johan Jeuring]

	[[16:15 - 16:35]] '''Course Postmortem: Teaching Haskell to Large Groups''' [''Jurriaan Hage, Ruud Koot''] [[File:tfpie2014_submission_7.pdf]]		[[16:15 - 16:35]] '''Course Postmortem: Teaching Haskell to Large Groups''' [''Jurriaan Hage, Ruud Koot''] [[:File:tfpie2014_submission_7.pdf\|PREPRINT]]

	[[16:35 - 16:55]] '''Flipped Graduate Classroom in a Haskell-based Software Testing Course''' [''Jan van Eijck, Vadim Zaytsev''] [[File:tfpie2014_submission_16.pdf]]		[[16:35 - 16:55]] '''Flipped Graduate Classroom in a Haskell-based Software Testing Course''' [''Jan van Eijck, Vadim Zaytsev''] [[:File:tfpie2014_submission_16.pdf\|PREPRINT]], [http://grammarware.net/slides/2014/tfpie.pdf SLIDES]

	[[16:55 - 17:10]] break		[[16:55 - 17:10]] break