NAT@Logic 2015

Elaine Pimentel <[email protected]> Thu, 25 Dec 2014 16:17:07 -0500

Newsgroups	gmane.comp.lang.lambda-prolog
Message-ID	<CAHQVs+Wmv_k2Y6zAOm2aOTDSpxjFufRmECbSNRP4+qrgW+1z_g@mail.gmail.com>

Dear colleagues,

It is with great pleasure that we announce the NAT@Logic 2015, the hottest
event in logic in 2015!!!

Please take a look at

https://sites.google.com/a/dimap.ufrn.br/natalogic-2015/

for a preliminary program. We will soon circulate some cfps related to the
event.

Hope to see you all here.

Best,
-- 
João Marcos & Elaine
-------------------------------------------------
Elaine Pimentel  - DMat/UFMG

Address: Departamento de Matematica
     Universidade Federal de Minas Gerais
     Av Antonio Carlos, 6627 - C.P. 702
     Pampulha - CEP 30.161-970
     Belo Horizonte - Minas Gerais - Brazil
Phone:   55 31 3409-5970/3409-5994
Fax:       55 31 3409-5692
http://www.mat.ufmg.br/~elaine
-------------------------------------------------

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog