Lista thedu

Índice por assuntos

› Índice cronológico | Total de mensagens no arquivo: 135
‹ Primeira Página ‹ Página anterior Página 2 de 3 Página seguinte › Última Página ›
  • Re: [Thedu] THedu'12, Walther Neuper, 19/04/2012
  • [Thedu] THedu12 1st call for papers, Pedro Quaresma, 27/02/2012
  • [Thedu] THedu'12 at AAR Newsletter No. 97, Pedro Quaresma, 10/05/2012
  • [Thedu] THedu12 at CICM 2012, Pedro Quaresma, 16/01/2012
  • [Thedu] THedu'12 poster and 1st call for papers, Pedro Quaresma, 29/02/2012
  • [Thedu] THedu'12 - submission of a workshop proposal, Pedro Quaresma, 07/10/2011
  • [Thedu] THedu 13, Pedro Quaresma, 19/09/2012
  • [ThEdu] ThEdu'13, Pedro Quaresma, 11/07/2013
  • [Thedu] THedu'13 - 2nd Call for Extended Abstracts, Pedro Quaresma, 19/04/2013
  • [ThEdu] ThEdu'15, Theorem proving components for Educational software - cfp, Pedro Quaresma, 02/03/2015
  • [ThEdu] ThEdu'18, Pedro Quaresma, 23/07/2018
  • [ThEdu] ThEdu'18 2cfp, Pedro Quaresma, 04/04/2018
  • [ThEdu] ThEdu'18 (at FLoC) - Call for participation, Pedro Quaresma, 30/05/2018
  • [ThEdu] ThEdu'18 cfp & ThEdu'17 EPTCS volume, Pedro Quaresma, 22/02/2018
  • [ThEdu] ThEdu'18 post proceedings at EPTCS, Pedro Quaresma, 23/07/2018
  • [ThEdu] ThEdu'19 at CADE, Pedro Quaresma, 09/03/2018
  • [ThEdu] ThEdu'19 call for papers, Pedro Quaresma, 25/02/2019
  • [ThEdu] ThEdu'19/EPTCS, Pedro Quaresma, 23/12/2019
  • [ThEdu] ThEdu'19 / EPTCS 313, Pedro Quaresma, 28/02/2020
  • [ThEdu] ThEdu'19 welcome to Natal, Pedro Quaresma, 18/08/2019
  • [ThEdu] ThEdu'19 workshop at CADE27, Pedro Quaresma, 19/12/2018
  • [ThEdu] ThEdu'20, Pedro Quaresma, 27/01/2020
  • [ThEdu] ThEdu'20 at IJCAR 2020, Paris, France, 29th June - 2nd July 2020., Pedro Quaresma, 07/01/2020
  • [ThEdu] ThEdu'20 cfp, Pedro Quaresma, 03/02/2020
  • [ThEdu] ThEdu'20/EPTCS, Pedro Quaresma, 22/06/2020
  • [ThEdu] ThEdu'20/EPTCS and ThEdu'21, Pedro Quaresma, 15/09/2020
  • [ThEdu] ThEdu'20/EPTCS proceedings, Pedro Quaresma, 01/06/2020
  • [ThEdu] Thedu'20 is cancel, let's meet at ThEdu'21, Pedro Quaresma, 02/04/2020
  • [ThEdu] ThEdu'21 !!!, Pedro Quaresma, 02/01/2021
  • [ThEdu] ThEdu'21 2nd calfor paper Post-proceedings, Pedro Quaresma, 13/09/2021
  • [ThEdu] ThEdu'21 at CADE28 !!!, Pedro Quaresma, 11/12/2020
  • [ThEdu] ThEdu'21 call for participation, Pedro Quaresma, 10/06/2021
  • [ThEdu] ThEdu21/EPTCS, Pedro Quaresma, 19/10/2021
  • [ThEdu] ThEdu'21 / EPTCS cfp, Pedro Quaresma, 22/07/2021
  • [ThEdu] ThEdu'21 / EPTCS cfp - deadline extension, Pedro Quaresma, 02/10/2021
  • [ThEdu] ThEdu'21 news, Pedro Quaresma, 11/05/2021
  • [ThEdu] ThEdu'21 on the 11 of july, Pedro Quaresma, 05/07/2021
  • [ThEdu] ThEdu'21 registration, Pedro Quaresma, 15/06/2021
  • [ThEdu] ThEdu'21 virtual on 11 July 2021, Pedro Quaresma, 10/02/2021
  • [ThEdu] Thedu'22, Pedro Quaresma, 02/11/2021
    Mail converted by MHonArc