Lista thedu

Índice cronológico

› Índice por assuntos | Total de mensagens no arquivo: 120
‹ Primeira Página Página 1 de 3 Página seguinte › Última Página ›
Remetente Assunto Data
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
Pedro Quaresma › [ThEdu] ThEdu'21 news 11/05/2021
Pedro Quaresma › [ThEdu] New deadline - extended abstracts 19/04/2021
Pedro Quaresma › [ThEdu] 2nd cfp 19/02/2021
Pedro Quaresma › [ThEdu] ThEdu'21 virtual on 11 July 2021 10/02/2021
Pedro Quaresma › [ThEdu] ThEdu'21 !!! 02/01/2021
Pedro Quaresma › [ThEdu] ThEdu'21 at CADE28 !!! 11/12/2020
Pedro Quaresma › [ThEdu] Fwd: EPTCS: thedu2020 proceedings published 30/10/2020
Pedro Quaresma › [ThEdu] ThEdu'20/EPTCS and ThEdu'21 15/09/2020
Pedro Quaresma › [ThEdu] ThEdu'20/EPTCS 22/06/2020
Pedro Quaresma › [ThEdu] Extended deadline ThEdu'20/EPTCS 12/06/2020
Pedro Quaresma › [ThEdu] ThEdu'20/EPTCS proceedings 01/06/2020
Pedro Quaresma › [ThEdu] EPTCS/ThEdu'20 Post-proceedings 23/04/2020
Pedro Quaresma › [ThEdu] EPTCS - ThEdu'20 proceedings 15/04/2020
Pedro Quaresma › [ThEdu] Thedu'20 is cancel, let's meet at ThEdu'21 02/04/2020
Mail converted by MHonArc