This is the fourth edition of a world event dedicated to universal logic. This event is a combination of aschool and a congress. The school offers 21 tutorials on a wide range of subjects. The congress will follow with invited talks and contributed talks organized in many sessions including 13 workshops. There will also be a contest.

This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

The whole event will happen at the feet of the Sugar Loaf in Rio de Janeiro, Brazil, known as the wonder city.

UNILOG'2013

A logical way of living!