[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The 6th WORLD CONGRESS ON UNIVERSAL LOGIC
will take place in Vichy, France, June 21-26, 2018
after previous editions in Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013
and Istanbul 2015:
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Papers:
The 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC
will take place in Vichy, France, June 16-26, 2018
after previous editions in Montreux 2005, Xi'an 2007,
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
---
CALL FOR PAPERS
ICDCIT -- 2014
The Tenth International Conference on
Distributed Computing and Internet Technology:
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
How to combine logics?
This will be the contest for Universal Logic 2010
Prize offered by Birkhäuser at the
World Congress on Universal Logic III
Lisbon, Portugal, April 22-25, 2010
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The third edition of the World Congress and School on Universal Logic will
happen April 18-25, 2010 in Lisbon, Portugal.
There will be:
10 invited speakers, among them: Hartry Field, Yuri
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
I would like to announce a recent special issue of the journal
Sadhana -- published by the Indian Academy of Sciences --
on Interactive Theorem Proving and Verification,
which may be of
