Lista thedu

Índice cronológico

› Índice por assuntos | Total de mensagens no arquivo: 137

Página 1 de 3

Remetente	Assunto	Data
Julien Narboux	› [ThEdu] Fwd: ThEdu'24 - Proceedings	24/10/2024
Pedro Quaresma	› [ThEdu] ThEdu'24 - Proceedings	04/07/2024
Pedro Quaresma	› [ThEdu] photos of ThEdu'24	03/07/2024
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

Mail converted by MHonArc