User contributions
Jump to navigation
Jump to search
- 23:15, 30 January 2023 diff hist -1 TFPIE2023 current
- 23:13, 30 January 2023 diff hist 0 N File:TFPIE-2023-Alda.pdf current
- 04:06, 26 January 2023 diff hist +50 TFPIE2023
- 03:54, 26 January 2023 diff hist +97 N File:Disco-tfpie23.pdf Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics" current
- 03:54, 26 January 2023 diff hist +106 N File:Disco-tfpie23-talk.pdf Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation. current
- 03:51, 26 January 2023 diff hist +107 N File:ProofBuddyDraft.pdf Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance". current
- 03:50, 26 January 2023 diff hist +104 N File:ProofBuddySlides.pdf Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation. current
- 20:46, 14 January 2023 diff hist -2 TFPIE2023
- 20:44, 14 January 2023 diff hist +370 TFPIE2023
- 20:44, 14 January 2023 diff hist 0 N File:TFPIE 2023-Rui Simao.pdf current
- 19:31, 13 January 2023 diff hist +47 N File:TFPIE 2023 derive exam.pdf Extended abstract for Lubke et al current
- 19:30, 13 January 2023 diff hist +49 N File:Fp-e-exam-pres.pdf Slides for Lubke et al presentation current
- 17:11, 13 January 2023 diff hist +61 TFPIE2023 →Keynote (chair: Marco Morazan)
- 17:07, 13 January 2023 diff hist +28 N File:Tfpie-2023-shriram-compressed.pdf Keynote slides current
- 15:49, 7 January 2023 diff hist +26 TFPIE2023 →Presentation session 3
- 15:48, 7 January 2023 diff hist +22 TFPIE2023 →Presentation session 1
- 02:08, 6 January 2023 diff hist +19 TFPIE2023 →Program
- 02:07, 6 January 2023 diff hist +22 TFPIE2023 →Presentation session 2
- 02:07, 6 January 2023 diff hist +23 TFPIE2023 →Keynote
- 21:54, 5 January 2023 diff hist +151 TFPIE2023 →Program