Lista thedu

Índice cronológico

› Índice por assuntos | Total de mensagens no arquivo: 134
Remetente Assunto Data
Pedro Quaresma [ThEdu] EPTCS 400 - Proceedings 12th International Workshop on Theorem proving components for Educational software (ThEdu'23) 08/04/2024
Pedro Quaresma [ThEdu] ThEdu'24 2nd call for papers 27/03/2024
Pedro Quaresma [ThEdu] Call for Extended Abstracts & Demonstrations 24/01/2024
Pedro Quaresma [ThEdu] ThEdu'24 13/12/2023
Pedro Quaresma [ThEdu] Thedu'23 / EPTCS 13/12/2023
Pedro Quaresma [ThEdu] ThEdu'23 Proceedings 06/11/2023
Pedro Quaresma [ThEdu] Proceedings at EPTCS 13/10/2023
Pedro Quaresma [ThEdu] typo correction to the cfp 28/09/2023
Pedro Quaresma [ThEdu] ThEdu'23 post-proceedings 25/09/2023
Pedro Quaresma [ThEdu] ThEdu'23 Proceedings call-for-papers 15/07/2023
Pedro Quaresma [ThEdu] ThEdu'23 news 09/07/2023
Pedro Quaresma [ThEdu] ThEdu '23 Zoom 05/07/2023
Pedro Quaresma [ThEdu] ThEdu'23 - call for participation 07/06/2023
Pedro Quaresma [ThEdu] ThEdu'23 tentative programme 04/06/2023
Pedro Quaresma [ThEdu] Applications in Education of Automated Deduction in Geometry 08/05/2023
Pedro Quaresma [ThEdu] New extended abstracts deadline 02/04/2023
Pedro Quaresma [ThEdu] ThEdu'23 2nd call for papers 10/03/2023
Pedro Quaresma [ThEdu] ThEdu'22 Proceedings --- EPTCS 375 10/03/2023
Julien Narboux [ThEdu] PAT 2023 summer school about the use of Proof Assistants for Teaching 07/03/2023
Pedro Quaresma [ThEdu] ThEdu'23 call for papers 05/01/2023
Joao Marcos Re: [ThEdu] ThEdu'23 24/12/2022
Pedro Quaresma [ThEdu] ThEdu'23 23/12/2022
Pedro Quaresma Re: [ThEdu] 2nd Open Call for Papers - Proceedings for ThEdu'22 02/11/2022
Pedro Quaresma [ThEdu] EPTCS/ThEdu - Extended deadline 31/10/2022
Pedro Quaresma [ThEdu] 2nd Open Call for Papers - Proceedings for ThEdu'22 17/10/2022
Pedro Quaresma [ThEdu] ThEdu'22/EPTCS 08/09/2022
Pedro Quaresma [ThEdu] ThEdu'22 gentle reminder 10/08/2022
Pedro Quaresma [ThEdu] IJCAR & ThEdu'22 are (very) fast approaching 07/08/2022
Pedro Quaresma [ThEdu] ThEdus By-laws 27/07/2022
Pedro Quaresma [ThEdu] ThEdu --- call for participation (even if remote) 27/07/2022
Pedro Quaresma [ThEdu] ThEdu'22 program 16/06/2022
Pedro Quaresma [ThEdu] ThEdu'22 participation invitation 31/05/2022
Pedro Quaresma [ThEdu] Fwd: IJCAR 2022 - available student grants 18/05/2022
Pedro Quaresma [ThEdu] new deadline ThEdu'22 03/05/2022
Pedro Quaresma [ThEdu] ThEdu'22 2nd cfp 12/04/2022
Joao Marcos Re: [ThEdu] Fwd: EPTCS: ThEdu21 proceedings published 11/02/2022
Pedro Quaresma [ThEdu] Fwd: EPTCS: ThEdu21 proceedings published 08/02/2022
Pedro Quaresma [ThEdu] ThEd'22 cfp 07/12/2021
Pedro Quaresma [ThEdu] Thedu'22 02/11/2021
Predrag Janicic Re: [ThEdu] ThEdu21/EPTCS 22/10/2021
Predrag Janicic Re: [ThEdu] ThEdu21/EPTCS 22/10/2021
Pedro Quaresma [ThEdu] ThEdu21/EPTCS 19/10/2021
Pedro Quaresma [ThEdu] ThEdu'21 / EPTCS cfp - deadline extension 02/10/2021
Pedro Quaresma [ThEdu] ThEdu'21 2nd calfor paper Post-proceedings 13/09/2021
Pedro Quaresma [ThEdu] ThEdu'21 / EPTCS cfp 22/07/2021
Pedro Quaresma [ThEdu] EPTCS volume for ThEdu'21 post-proceedings 07/07/2021
Pedro Quaresma [ThEdu] Zoom instruction for CADE 06/07/2021
Pedro Quaresma [ThEdu] ThEdu'21 on the 11 of july 05/07/2021
Pedro Quaresma [ThEdu] ThEdu'21 registration 15/06/2021
Pedro Quaresma [ThEdu] ThEdu'21 call for participation 10/06/2021

Mail converted by MHonArc