Lista thedu

Índice por assuntos

› Índice cronológico | Total de mensagens no arquivo: 135
‹ Primeira Página Página 1 de 3 Página seguinte › Última Página ›
  • [Thedu] 2nd Call for papers, Pedro Quaresma, 16/04/2012
  • [Thedu] 2nd Call for papers (2nd version), Pedro Quaresma, 17/04/2012
  • [ThEdu] 2nd cfp, Pedro Quaresma, 19/02/2021
  • [ThEdu] 2nd cfp - ThEdu'19 postProceedings, Pedro Quaresma, 14/11/2019
  • [ThEdu] 2nd Open Call for Papers - Proceedings for ThEdu'22, Pedro Quaresma, 17/10/2022
  • [ThEdu] Applications in Education of Automated Deduction in Geometry, Pedro Quaresma, 08/05/2023
  • [ThEdu] Business meeting, Pedro Quaresma, 12/09/2019
  • [ThEdu] Call for Extended Abstracts & Demonstrations, Pedro Quaresma, 24/01/2024
  • [Thedu] Call for IJCAR 2012 Satellite Events, Pedro Quaresma, 07/10/2011
  • [ThEdu] cfp - Postproceedings for ThEdu'18 by EPTCS, Pedro Quaresma, 11/09/2018
  • [Thedu] CICM 2012 - Call for Workshop Proposals, Pedro Quaresma, 07/10/2011
  • [ThEdu] Clubs of users of Logipedia, Pedro Quaresma, 27/02/2020
  • [ThEdu] Conferences on Intelligent Computer Mathematics - Systems & Data, Pedro Quaresma, 09/12/2014
  • [ThEdu] deadline extension ThEdu'19, Pedro Quaresma, 02/05/2019
  • [ThEdu] EPTCS, Pedro Quaresma, 09/03/2018
  • [ThEdu] EPTCS 400 - Proceedings 12th International Workshop on Theorem proving components for Educational software (ThEdu'23), Pedro Quaresma, 08/04/2024
  • Re: [Thedu] EPTCS: THedu'11 Proceedings, Pedro Quaresma, 21/02/2012
  • [ThEdu] EPTCS / ThEdu'18, Pedro Quaresma, 06/03/2019
  • [ThEdu] EPTCS: thedu18 proceedings volume 290, Pedro Quaresma, 01/04/2019
  • [ThEdu] EPTCS, ThEdu'18 volume, Pedro Quaresma, 24/02/2019
  • [ThEdu] EPTCS - ThEdu'19 postoceedings, Pedro Quaresma, 30/09/2019
  • [ThEdu] EPTCS/ThEdu'20 Post-proceedings, Pedro Quaresma, 23/04/2020
  • [ThEdu] EPTCS - ThEdu'20 proceedings, Pedro Quaresma, 15/04/2020
  • [ThEdu] EPTCS/ThEdu - Extended deadline, Pedro Quaresma, 31/10/2022
  • [ThEdu] EPTCS volume for ThEdu'21 post-proceedings, Pedro Quaresma, 07/07/2021
  • [ThEdu] Extended deadline ThEdu'20/EPTCS, Pedro Quaresma, 12/06/2020
  • [ThEdu] Fwd: Early registration deadline approaching!, Pedro Quaresma, 11/07/2019
  • [ThEdu] Fwd: EPTCS: thedu2020 proceedings published, Pedro Quaresma, 30/10/2020
  • [ThEdu] Fwd: EPTCS: ThEdu21 proceedings published, Pedro Quaresma, 08/02/2022
  • [ThEdu] Fwd: FSCD-IJCAR 2020 WS Your submission is accepted, Pedro Quaresma, 02/12/2019
  • [ThEdu] Fwd: IJCAR 2022 - available student grants, Pedro Quaresma, 18/05/2022
  • [ThEdu] IJCAR & ThEdu'22 are (very) fast approaching, Pedro Quaresma, 07/08/2022
  • [ThEdu] New deadline - extended abstracts, Pedro Quaresma, 19/04/2021
  • [ThEdu] new deadline ThEdu'22, Pedro Quaresma, 03/05/2022
  • [ThEdu] New extended abstracts deadline, Pedro Quaresma, 02/04/2023
  • [ThEdu] PAT 2023 summer school about the use of Proof Assistants for Teaching, Julien Narboux, 07/03/2023
  • [ThEdu] photos of ThEdu'24, Pedro Quaresma, 03/07/2024
  • [ThEdu] Post-Procedings ThEdu'19/EPTCS cfp, Pedro Quaresma, 16/09/2019
  • [Thedu] Primeira Mensagem, samarta, 16/09/2011
  • [ThEdu] Proceedings at EPTCS, Pedro Quaresma, 13/10/2023
  • [Thedu] Reasons for this year failure:/ Reasons to pursue, Pedro Quaresma, 30/05/2012
  • [Thedu] Teste, João Sá Marta, 16/09/2011
  • [ThEdu] ThEd'22 cfp, Pedro Quaresma, 07/12/2021
  • Re: [Thedu] THedu '12, Walther Neuper, 20/05/2012
  • [Thedu] THedu 12, Pedro Quaresma, 07/04/2012
    Mail converted by MHonArc