|
|
| Events |
 |
News and Events > Events
UniLog'2010 - World Congress and School on Universal Logic, 3rd (18-04-2010)
In the same way that universal algebra is a general theory of
algebraic structures, universal logic is a general theory of logical
structures. During the 20th century, numerous logics have been
created: intuitionistic logic, deontic logic, many-valued logic,
relevant logic, linear logic, non monotonic logic, etc. Universal
logic is not a new logic, it is a way of unifying this multiplicity of
logics by developing general tools and concepts that can be applied to
all logics.
This is the third edition of a world event dedicated to universal
logic. This event is a combination of a school and a congress. The
school offers 21 tutorials on a wide range of subjects. The congress
will follow with invited and contributed talks organized in many
sessions, including 10 special thematic sessions, and a contest.
Location
The event will take place in Monte Estoril at Hotel Estoril Eden.
Registration
The event is open to anyone interested, subject to a registration fee.
URL: http://www.uni-log.org/enter-lisbon.html166
CiE 2010 - ''Programs, Proofs, Processes'' (30-06-2010)
Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research.
CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - ''Programs, Proofs, Processes'' - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe.
CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.
URL: http://www.cie2010.uac.pt/
|
|
|
