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)- 16:29, 4 April 2024 RoseBohrer talk contribs created page TFPIE2025 (Create page)
- 09:32, 2 April 2024 User account RoseBohrer talk contribs was created by WikiSysop talk contribs and password was sent by email (Chair TFPiE 2025)
- 17:00, 17 July 2023 StephenChang talk contribs created page TFPIE2024 (start TFPIE 2024 page)
- 15:43, 10 July 2023 User account StephenChang talk contribs was created by WikiSysop talk contribs and password was sent by email (chair TFPiE 2024)
- 22:13, 30 January 2023 ElenaMachkasova talk contribs created page File:TFPIE-2023-Alda.pdf
- 22:13, 30 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE-2023-Alda.pdf
- 02:54, 26 January 2023 ElenaMachkasova talk contribs created page File:Disco-tfpie23.pdf (Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics")
- 02:54, 26 January 2023 ElenaMachkasova talk contribs uploaded File:Disco-tfpie23.pdf (Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics")
- 02: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.)
- 02:54, 26 January 2023 ElenaMachkasova talk contribs uploaded File:Disco-tfpie23-talk.pdf (Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation.)
- 02:51, 26 January 2023 ElenaMachkasova talk contribs created page File:ProofBuddyDraft.pdf (Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance".)
- 02:51, 26 January 2023 ElenaMachkasova talk contribs uploaded File:ProofBuddyDraft.pdf (Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance".)
- 02:50, 26 January 2023 ElenaMachkasova talk contribs created page File:ProofBuddySlides.pdf (Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation.)
- 02:50, 26 January 2023 ElenaMachkasova talk contribs uploaded File:ProofBuddySlides.pdf (Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation.)
- 19:44, 14 January 2023 ElenaMachkasova talk contribs created page File:TFPIE 2023-Rui Simao.pdf
- 19:44, 14 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE 2023-Rui Simao.pdf
- 18:31, 13 January 2023 ElenaMachkasova talk contribs created page File:TFPIE 2023 derive exam.pdf (Extended abstract for Lubke et al)
- 18:31, 13 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE 2023 derive exam.pdf (Extended abstract for Lubke et al)
- 18:30, 13 January 2023 ElenaMachkasova talk contribs created page File:Fp-e-exam-pres.pdf (Slides for Lubke et al presentation)
- 18:30, 13 January 2023 ElenaMachkasova talk contribs uploaded File:Fp-e-exam-pres.pdf (Slides for Lubke et al presentation)
- 16:07, 13 January 2023 ElenaMachkasova talk contribs created page File:Tfpie-2023-shriram-compressed.pdf (Keynote slides)
- 16:07, 13 January 2023 ElenaMachkasova talk contribs uploaded File:Tfpie-2023-shriram-compressed.pdf (Keynote slides)