All public logs
Jump to navigation
Jump to search
Combined display of all available logs of tfpie. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 17:29, 4 April 2024 RoseBohrer talk contribs created page TFPIE2025 (Create page)
- 10:32, 2 April 2024 User account RoseBohrer talk contribs was created by WikiSysop talk contribs and password was sent by email (Chair TFPiE 2025)
- 18:00, 17 July 2023 StephenChang talk contribs created page TFPIE2024 (start TFPIE 2024 page)
- 16:43, 10 July 2023 User account StephenChang talk contribs was created by WikiSysop talk contribs and password was sent by email (chair TFPiE 2024)
- 23:13, 30 January 2023 ElenaMachkasova talk contribs created page File:TFPIE-2023-Alda.pdf
- 23:13, 30 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE-2023-Alda.pdf
- 03:54, 26 January 2023 ElenaMachkasova talk contribs created page File:Disco-tfpie23.pdf (Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics")
- 03:54, 26 January 2023 ElenaMachkasova talk contribs uploaded File:Disco-tfpie23.pdf (Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics")
- 03:54, 26 January 2023 ElenaMachkasova talk contribs created page File:Disco-tfpie23-talk.pdf (Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation.)
- 03:54, 26 January 2023 ElenaMachkasova talk contribs uploaded File:Disco-tfpie23-talk.pdf (Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation.)
- 03:51, 26 January 2023 ElenaMachkasova talk contribs created page File:ProofBuddyDraft.pdf (Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance".)
- 03:51, 26 January 2023 ElenaMachkasova talk contribs uploaded File:ProofBuddyDraft.pdf (Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance".)
- 03:50, 26 January 2023 ElenaMachkasova talk contribs created page File:ProofBuddySlides.pdf (Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation.)
- 03:50, 26 January 2023 ElenaMachkasova talk contribs uploaded File:ProofBuddySlides.pdf (Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation.)
- 20:44, 14 January 2023 ElenaMachkasova talk contribs created page File:TFPIE 2023-Rui Simao.pdf
- 20:44, 14 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE 2023-Rui Simao.pdf
- 19:31, 13 January 2023 ElenaMachkasova talk contribs created page File:TFPIE 2023 derive exam.pdf (Extended abstract for Lubke et al)
- 19:31, 13 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE 2023 derive exam.pdf (Extended abstract for Lubke et al)
- 19:30, 13 January 2023 ElenaMachkasova talk contribs created page File:Fp-e-exam-pres.pdf (Slides for Lubke et al presentation)
- 19:30, 13 January 2023 ElenaMachkasova talk contribs uploaded File:Fp-e-exam-pres.pdf (Slides for Lubke et al presentation)
- 17:07, 13 January 2023 ElenaMachkasova talk contribs created page File:Tfpie-2023-shriram-compressed.pdf (Keynote slides)
- 17:07, 13 January 2023 ElenaMachkasova talk contribs uploaded File:Tfpie-2023-shriram-compressed.pdf (Keynote slides)
- 17:07, 12 January 2023 Morazanm talk contribs created page File:Slides-reg-exp-fsm.pdf
- 17:07, 12 January 2023 Morazanm talk contribs uploaded File:Slides-reg-exp-fsm.pdf
- 22:08, 11 September 2022 ElenaMachkasova talk contribs created page TFPIE2023 (Created page with "=Trends in Functional Programming in Education (TFPIE)= Welcome! The 2023 edition of Trends in Functional Programming in Education will be held '''on January 12th in Boston,...")