This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Thursday, August 6 • 17:00 - 19:00
A3.3 Computational Logic and Applications of Logic

Sign up or log in to save this to your schedule and see who's attending!

6 August 5:00PM ­– 7:00PM


Granular Mining of Logical Rules from Relational Structures
Churn-Jung Liau, Institute of Information Science, Academia Sinica,
Taipei, TAIWAN

Finitely Unstable Theories and Computational Complexity
Tuomo Kauranne, Mathematics and Physics, Lappeenranta University of
Technology, Lappeenranta, FINLAND

Bi-Logic Via Infinite Singletons
Giulia Battilotti, Dept. of Mathematics, University of Padova,
Selvazzano Dentro (Pd), ITALY

Level system of formulas for decreasing the number of proof steps of
formulas simulating some Artificial Intelligence problems
Tatiana Kosovskaya, Faculty of Mathematics and Mechanics, St. Petersburg
State University, St. Petersburg, RUSSIAN FEDERATION

avatar for Tuomo Kauranne

Tuomo Kauranne

Associate professor, Lappeenranta University of Technology
Anything goes, quite literally :) I am an applied mathematician with a keen interest in descriptive complexity, model theory and theory of computation in general. My 'official' professional interests cover application areas of maths such as weather and climate modelling, computational market dynamics and forest measurement from remote sensing data. Twenty years ago I set up a company called Arbonaut Ltd. that I still manage and that conducts... Read More →


Giulia Battilotti

University of Padova

Tatiana Kosovskaya

St. Petersburg State University

Churn-Jung Liau

Academia Sinica

Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 17

Attendees (3)