[ThEdu] ThEdu'24

[Pedro Quaresma <pedro@mat.uc.pt>]

Dear ThEduers

ThEdu'24 is on :)

"I am happy to announce that your proposed event ThEdu has been accepted 
as a satellite of IJCAR 2024." (Sophie Torret Workshop chair of IJCAR).

Here is a tentative schedule of all the accepted satellite events:

# Monday 01/07
 - IFIP group meeting
 - Vampire
 - Termcomp
 - WAIT
 - (afternoon only) TPTPTP
 - (afternoon only) APPAM ANR project meeting

# Tuesday 02/07
 - UNIF
 - ThEdu
 - PAAR
 - SC square
 - ARQNL
 - Quantify
 - (afternoon only) TPTPTP

Julien Narboux will be the General Chair

Walther Neuper and Pedro Quaresma co-chairs


... cfp will follow soon.


--

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

Assistant Professor Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
Largo D.Dinis
3000-143 COIMBRA, PORTUGAL
Elec. mail: pedro@mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568