UNILOG 2013 Congress April 3-7 2013, Rio, Brazil

E1 E2 E3 E4 EA IA I1

8H30/9H30 Opening 3Ma GET HIS NCM SHA CLASS SLH X

3Mb GET HIS NCM SHA CLASS SLH X LUNCH

3Aa GET CLASS NCM SHA HIS SLH X

3Ab GET CLASS LIA SHA HIS X X COCKTAIL PARTY

4Ma GET CLASS MVL SHA X FSO ALG 4Mb GET HIS MVL SHA X FSO ALG

LUNCH

4Aa PAX EMP MVL SHA X FSO ALG 4Ab PAX EMP MVL SHA X X X

BANQUET 5Ma MEL LAL MVL TAR X TOO ALG

5Mb MEL LAL MVL TAR X TOO ALG LUNCH

5Aa MEL LAL COMB TAR X TOO ALG

5Ab MEL LAL COMB TAR X X X SLEEPING

6Ma QUA LAM MOD LAQ CONTEST TOO X 6Mb QUA LAM MOD LAQ CONTEST TOO X

LUNCH

6Aa APT LAM MOD LAQ CONTEST TOO X 6Ab APT PHI MOD LAQ CONTEST X X

SLEEPING 7Ma IML PHI REL LAQ UNI TOO X

7Mb IML PHI REL LAQ UNI TOO X LUNCH

7Aa IML PHI REL LAQ UNI X X

17/18h SECRET SPEAKER 18H/19H YURI GUREVICH

Ma = 1st morning session Mb = 2nd morning session

Aa= 1st afternoon session Ab = 2nd afternoon session

EA = Eceme Auditorium Ex = Room x at Eceme

IA = IME Auditorium I1 Room 1 at IME

Name of the Workshop Acro Scope of Logic through History SLH

Logic and Metaphysics LAM

Many-Valued Logic MVL

Between First and Second Order Logic FSO

Compositional meaning in Logic GEF

Non-Classical Mathematics NCM

Intuitionistic Modal Logic IML

Shapes 2.0 SHA

Abstract Proof Theory APT

Relevant Logic REL

Thinking and Rationality TAR

Medieval Logic MEL

Logic Quantum Structures LAQ

Logic and Linguistics LAL

Logic and Artifical Intelligence LIA

Contest = Scope of Logic Theorems CONTEST

Name of the Session Acro Universal UNI

Combination COMB

Modal MOD

Empirical EMP

Paradox PAX

Tools TOO

Philosophy PHI

Quantifiers QUA

Class CLASS

History HIS

Algebra & Category ALG

SESSIONS CLASS – UNILOG’2013

April 3-4

when where who 3 - 09h00 / 09h45 EA Hiroakira Ono

3 - 09h45 / 10h15 EA Josep Font

3 - 10h15 / 10h45 EA Denis Saleviev COFFEE BREAK

3 - 11h15 / 12h00 EA Daniele Mundici 3 – 12h00 /12h30 EA Vilem Novak

3 – 12h30 / 13h00 EA FrancicleberFerreira LUNCH

3 - 14h30 / 15h00 E2 Phridoni Alsibaia

3 - 15h00 / 15h30 E2 Stephan Shkilnyak 3 - 15h30 / 16h00 E2 Julio Stern

3 - 16h00 / 16h30 E2 Paulo Guerra COFFEE BREAK

3 – 17h00 /17h30 E2 JuimLin Lee

3 - 17h30 /18h00 E2 V.M.Popov 3 - 18h00 / 18h30 E2 Paul Healey

3 -18h30 / 19h00 E2 Gwynne Taraska

when where who 4 - 08h30 /09h00 E2 Walter Gomide

4 - 09h00 / 09h30 E2 Gilberto Gomes 4 – 09h30 / 10h00 E2 José Curado

4 - 10h00 / 10h30 E2 Arthur Buchsbaum COFFEE BREAK

EA = Eceme Auditorium

E2 = Eceme Room 222

SESSION PHILOSOPHY – UNILOG’2013 – APRIL 6-7

When Where Who COFFEE BREAK

6 – 17h00 /17h45 E2 André Fuhrmann 6 - 17h45 /18h15 E2 Yvon Gauthier

6 – 18h15 / 18h45 E2 Sama Agahi

SLEEP 7 - 08h30 / 09h00 E2 Patrick Allo

7 - 09h00 / 09h30 E2 Raffaela Giovagnoli 7 - 09h30 / 10h00 E2 Luca Struble

7- 10h00 / 10h30 Bruno Aguiar

COFFEE BREAK 7 - 11h00 / 11h30 E2 Fabrice Pataut

7 – 11h30 /12h00 E2 Raja Natarajan 7 – 12h00 / 12h30 E2 Lucas Rosenblatt

LUNCH 7 - 14h30 / 15h00 E2 Giorgio Venturi

7 - 15h00 / 15h30 E2 Ricardo Mendes

7 - 15h30 / 16h00 E2 Donald Poochigan 7 – 16h00 / 16h30 E2 Rainhard Bengez

E2 = Eceme Room 222

SESSION UNIVERSAL – UNILOG’2013 April 7

when where who 7 - 09h00 / 09h45 EA Sun-Joo Shin

7 - 09h45 / 10h15 EA Gilea Bar-Eli 7 - 10h15 / 10h45 EA Natalia Buacar

COFFEE BREAK

7 - 11h15 / 12h00 EA Gila Sher 7 – 12h00 /12h30 EA Vladimir Vasyukov

7 – 12h30 / 13h00 EA Corpina LUNCH

7 - 14h30 / 15h00 EA Ingolf Max

7 - 15h00 / 15h30 EA Yaroslav Kokhan 7 - 15h30 / 16h00 EA Yu Ivlev

EA = Eceme Auditorium

SESSION TOOLS – UNILOG April 5, 6, 7

When Where Who 5 – 08h45 / 09h30 IA Sara Negri

5 – 09h30 / 10h00 IA Libor Behounek 5 – 10h00 / 10h30 IA Maria Manzano

COFFEE BREAK

5 – 11h15 / 11h45 IA Jerzy Tomsik 5 – 11h45 /12h15 IA Alexei Valdimirov

5 – 12h15 / 12h45 IA Marco Volpe 5 – 12h45 / 13h15 IA Jelena Ivetic

LUNCH

5 – 14h30 / 15h00 IA Jonas De Vuyst 5 – 15h00 / 15h30 IA Alixei Muravitsky

5 – 15h30 / 16h00 IA Mykola Nikitchenko 5 – 16h00 / 16h30 IA Maria Duzi

COFFEE BREAK 6 – 08h45 / 09h30 IA Giovanni Sambin

6 – 09h30 / 10h00 IA Jacques Duparc

6 – 10h00 / 10h30 IA Ondrej Majer COFFEE BREAK

6 – 11h15 / 11h45 IA Pietro Codara 6 – 11h45 /12h15 IA Lara Spendler

6 – 12h15 / 12h45 IA Martin Sticht 6 – 12h45 / 13h15 IA Gleifer Alves

LUNCH

6 – 14h30 / 15h00 IA Soma Dutta 6 – 15h00 / 15h30 IA Thomas Studer

6 – 15h30 / 16h00 IA Maria Svyaktina 6 – 16h00 / 16h30 IA Valery Tarassov

COFFEE BREAK

7 – 08h45 / 09h15 IA Graham Priest 7 – 09h15 / 10h45 IA Luiz Silvestrini

7 – 09h45 / 10h15 IA Gabriela Stern COFFEE BREAK

7 – 11h15 / 11h45 IA Libor Behounek 7 – 11h45 /12h15 IA Inge de Bal

7 – 12h15 / 12h45 IA Anca Pascu

7 – 12h45 / 13h15 IA Hilan Bensusan

IA = IME Auditorium

SESSION QUANTIFIERS - UNILOG’2013

APRIL 6 Morning

When Where Who 6 - 08h30 / 09h00 E1 Petra Murinova

6 - 09h00 / 09h30 E1 Kleidson Oliveira

6 - 09h30 / 10h00 E1 Angela Rodrigues 6 - 10h00 / 10h30 E1 Tatiana Kiselovia

COFFEE BREAK 6 – 11h00 /11h30 E1 Ana Claudia Golzio

6 - 11h30 /12h00 E1 Edgar Freire 6 - 12h00 / 12h30 E1 Elia Zardini

E1 = Eceme Room 221

SESSION MODAL – UNILOG’2013

April 6

when where who 6 - 08h30 / 09h15 E3 Tamar Lando

6 - 09h15 / 09h45 E3 John Martin

6 - 09h45 / 10h15 E3 Tomaz Jarmuzek 6 - 10h15 / 10h45 E3 Bruce Halimi

COFFEE BREAK 6 - 11h15 / 11h45 E3 Andre Bueno

6 – 11h45 /12h15 E3 Bernard Kilinc 6 – 12h15 / 12h45 E3 Sebastian Fernando

LUNCH

6 - 14h30 / 15h00 E3 Juliano Maranhão 6 - 15h00 / 15h30 E3 Pedro Lemos

6 - 15h30 / 16h00 E3 Tinko Richev 6 - 16h00 / 16h30 E3 Kazimierz Trzesicki

COFFEE BREAK 6 - 17h00 / 17h30 E3 Diego Fernandes

E3 = Eceme Room 223

SESSION HISTORY – UNILOG’2013 – APRIL 3-4

when where who 3 - 09h00 / 09h45 E2 Juan Redmond

3 - 09h45 / 10h15 E2 Ofra Rechter

3 - 10h15 / 10h45 E2 Elena Ficara COFFEE BREAK

3 - 11h15 / 11h45 E2 Andrei Rodin 3 – 11h45 /12h15 E2 Manuel Isaac

3 – 12h15 / 12h45 E2 Fabio Corpina LUNCH

3 - 14h30 / 15h15 EA Itala D’Ottaviano

3 - 15h15 / 15h45 EA Cassiano Rodriguez 3 - 15h45 / 16h15 EA Ivo Pezler

3 - 16h15 / 16h45 EA Javier Legris COFFEE BREAK

3 – 17h15 /18h00 EA Juliette Lemaire

3 - 18h00 /18h30 EA John Martin 3- 18h30 / 19h00 EA Greg Lavers

when where who

4 - 17h00 /17h30 E2 José Mata 4 - 17h30 / 18h00 E2 Hélio Rebello

4 - 18h00 / 18h30 E2 Eduardo Giovanni 4 - 18h30 / 19h00 E2 Katarzyna Gan

COFFEE BREAK

EA = Eceme Auditorium

E2 = Eceme Room 222

SESSION PARADOX - UNILOG’2013

April 4

when Where who 4 - 13h45 / 14h15 E1 Dante Almeida

4 - 14h15 / 14h45 E1 David Etlin

4 - 14h45 / 15h15 E1 Michal Godziszewski 4 - 15h15 / 16h15 E1 Catherine Legg

4 – 16h15 / 16h45 E1 Casper Hansen COFFEE BREAK

4 – 17h15 /17h45 E1 Jiri Raclavski 4 - 17h45 /18h15 E1 Ted Shear

4 - 18h15 / 18h45 E1 Antonio Zilhao

4- 18h45 / 19h15 E1 Vilem Novak

E1 = Eceme Room 221

SESSION EMPIRICAL – UNILOG’2013

April 4 - Afternoon

when where who

4 - 14h30 / 15h15 E2 Newton da Costa 4 - 15h15 / 15h45 E2 Dan Nesher

4 - 15h45 / 16h15 E2 Srecko Kovak COFFEE BREAK

4 – 17h00 /17h30 E2 Olexly Billyk 4 - 17h30 /18h00 E2 Mauricio Kritz

E1 = Eceme Room 222

SESSION COMBINATION – UNILOG’2013

April 5 - Afternoon

when where who 5 - 14h30 / 15h15 E3 Carlos Caleiro

5 - 15h15 / 15h45 E3 Petr Arndt

5 - 15h45 / 16h15 E3 Denis Ponomaryov COFFEE BREAK

5 – 17h00 /17h30 E3 Jaime Ramos 5 - 17h30 /18h00 E3 Luis Schechter

5 – 18h00 / 18h30 E3 Márcio Ribeiro

EA = Eceme Room 223

CONTEST UNILOG’2013 -SCOPE OF LOGIC THEOREMS – April 6

when where who 6 - 08h30 / 09h00 EA Nathenael Ackerman

6 - 09h00 / 09h30 EA Bhupinder Singh Anand 6 - 09h30 / 10h00 EA André Bazzoni

6 - 10h00 / 10h30 EA Petr Cintula

COFFEE BREAK 6 - 11h00 / 11h30 EA Roy Cook

6 – 11h30 /12h00 EA Newton Peron 6 – 12h00 / 12h30 EA Razvan Diaconescu

6 – 12h30 / 13h00 EA Luiz Estrada

LUNCH 6 - 14h30 / 15h00 EA Daniel Gaina

6 - 15h00 / 15h30 EA Giuseppe Greco 6 - 15h30 / 16h00 EA Maria Manzano

6 - 16h00 / 16h30 EA Nikola Nikitchenko 6 - 16h30 / 17h00 EA Tom Skura

COFFEE BREAK / DELIBERATION

6 - 18h30 / 19h00 EA WINNER AND PRIZE EA = Eceme Auditorium

SESSION ALGEBRA & CATEGORY – UNILOG’2013 – APRIL 4-5

When Where Who 4 - 08h45 / 09h30 I1 Jonathan Seldin

4 - 09h30 / 10h00 I1 Clint van Alten 4 - 10h00 / 10h30 I1 Andrea Tepavecevic

COFFEE BREAK

4 - 11h15 / 11h45 I1 Alex Citkin 4 – 11h45 /12h15 I1 Daniel Gaine

4 – 12h15 / 12h45 I1 Leando Suguitani LUNCH

4 - 14h30 / 15h00 I1 Oscar Garcia

4 - 15h00 / 15h30 I1 Joana Grygiel 4 - 15h30 / 16h00 I1 Juan Agudelo

4 - 16h00 / 16h30 I1 Sandor Jenei COFFEE BREAK

When Where Who

5 - 08h30 / 09h00 I1 Michal Kozak 5 - 09h00 / 09h30 I1 Bradimir Seselja

5 - 09h30 / 10h00 I1 Darlan Pinto 5 - 10h00 / 10h30 I1 Cyrus Nourani

COFFEE BREAK

5 - 11h15 / 11h45 I1 Alfio Martini 5 – 11h45 /12h15 I1 Alexandre Madureira

5 – 12h15 / 12h45 I1 Carlos Nogueira

I1 = IME Room 1