User contributions for ElenaMachkasova
Results for ElenaMachkasova talk block log uploads logs
A user with 74 edits. Account created on 31 May 2013.
30 January 2023
- 21:1521:15, 30 January 2023 diff hist −1 TFPIE2023 No edit summary current
- 21:1321:13, 30 January 2023 diff hist 0 N File:TFPIE-2023-Alda.pdf No edit summary current
26 January 2023
- 02:0602:06, 26 January 2023 diff hist +50 TFPIE2023 No edit summary
- 01:5401:54, 26 January 2023 diff hist +97 N File:Disco-tfpie23.pdf Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics" current
- 01:5401: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
- 01:5101:51, 26 January 2023 diff hist +107 N File:ProofBuddyDraft.pdf Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance". current
- 01:5001:50, 26 January 2023 diff hist +104 N File:ProofBuddySlides.pdf Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation. current
14 January 2023
- 18:4618:46, 14 January 2023 diff hist −2 TFPIE2023 No edit summary
- 18:4418:44, 14 January 2023 diff hist +370 TFPIE2023 No edit summary
- 18:4418:44, 14 January 2023 diff hist 0 N File:TFPIE 2023-Rui Simao.pdf No edit summary current
13 January 2023
- 17:3117:31, 13 January 2023 diff hist +47 N File:TFPIE 2023 derive exam.pdf Extended abstract for Lubke et al current
- 17:3017:30, 13 January 2023 diff hist +49 N File:Fp-e-exam-pres.pdf Slides for Lubke et al presentation current
- 15:1115:11, 13 January 2023 diff hist +61 TFPIE2023 →Keynote (chair: Marco Morazan)
- 15:0715:07, 13 January 2023 diff hist +28 N File:Tfpie-2023-shriram-compressed.pdf Keynote slides current
7 January 2023
- 13:4913:49, 7 January 2023 diff hist +26 TFPIE2023 →Presentation session 3
- 13:4813:48, 7 January 2023 diff hist +22 TFPIE2023 →Presentation session 1
6 January 2023
- 00:0800:08, 6 January 2023 diff hist +19 TFPIE2023 →Program
- 00:0700:07, 6 January 2023 diff hist +22 TFPIE2023 →Presentation session 2
- 00:0700:07, 6 January 2023 diff hist +23 TFPIE2023 →Keynote
5 January 2023
- 19:5419:54, 5 January 2023 diff hist +151 TFPIE2023 →Program
- 19:4119:41, 5 January 2023 diff hist +152 TFPIE2023 →Program
- 19:3819:38, 5 January 2023 diff hist +1,636 TFPIE2023 No edit summary
3 December 2022
- 23:0023:00, 3 December 2022 diff hist +213 TFPIE2023 →How To Register
1 December 2022
- 16:5816:58, 1 December 2022 diff hist +161 TFPIE2023 →How To Register
- 03:1703:17, 1 December 2022 diff hist +426 TFPIE2023 →Invited Speaker
13 November 2022
- 19:2919:29, 13 November 2022 diff hist −32 TFPIE2023 No edit summary
21 October 2022
- 19:2219:22, 21 October 2022 diff hist +52 TFPIE2023 Added the location
15 October 2022
- 01:3101:31, 15 October 2022 diff hist +12 TFPIE2023 →Important Dates
- 00:5400:54, 15 October 2022 diff hist 0 TFPIE2023 →Important Dates
- 00:4200:42, 15 October 2022 diff hist +522 TFPIE2023 →The Programme Committee
15 September 2022
- 19:5619:56, 15 September 2022 diff hist +95 TFPIE2023 No edit summary
11 September 2022
- 20:0820:08, 11 September 2022 diff hist +3,999 N 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,..."
- 17:1617:16, 11 September 2022 diff hist +148 Main Page Added a link for TFPIE 2023
15 March 2022
- 02:3302:33, 15 March 2022 diff hist +54 TFPIE2022 →Presentation session 4
- 02:3202:32, 15 March 2022 diff hist +27 TFPIE2022 →Presentation session 3
- 02:3102:31, 15 March 2022 diff hist +23 TFPIE2022 →Keynote address
- 02:3002:30, 15 March 2022 diff hist +22 TFPIE2022 →Presentation session 2
- 02:2902:29, 15 March 2022 diff hist +21 TFPIE2022 →Presentation session 1
8 March 2022
- 03:5603:56, 8 March 2022 diff hist +2,524 TFPIE2022 No edit summary
11 February 2022
- 22:5122:51, 11 February 2022 diff hist +195 TFPIE2022 →How To Register
- 22:4422:44, 11 February 2022 diff hist +44 TFPIE2022 →Important Dates
29 January 2022
11 January 2022
- 19:2119:21, 11 January 2022 diff hist −14 Call For Papers 2022 No edit summary current
- 19:1819:18, 11 January 2022 diff hist +92 TFPIE2022 No edit summary
10 January 2022
- 13:0713:07, 10 January 2022 diff hist +19 Call For Papers 2022 No edit summary
7 January 2022
- 16:1116:11, 7 January 2022 diff hist +353 m TFPIE2022 →How To Register
- 16:0716:07, 7 January 2022 diff hist +135 m TFPIE2022 →Trends in Functional Programming in Education (TFPIE)
- 15:4815:48, 7 January 2022 diff hist +504 Call For Papers 2022 No edit summary
- 15:3815:38, 7 January 2022 diff hist +1 m TFPIE2022 →Important Dates
- 13:0113:01, 7 January 2022 diff hist +71 TFPIE2022 →Important Dates