unilog 2013 congress april 3-7 2013, rio, brazilunilog 2013 congress april 3-7 2013, rio, brazil e1...
TRANSCRIPT
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 HIS MVL SHA X FSO ALG 4Mb GET CLASS 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 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
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 UNILOG’2013
SCOPE OF LOGIC THEOREMS
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
April 6
EA = Eceme Auditorium
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 / 11h45 EA Ingolf Max 7 – 11h45 /12h15 EA Vladimir Vasyukov
7 – 12h15 / 12h45 EA Corpina LUNCH
7 - 14h30 / 15h15 EA Gila Sher
7 - 15h15 / 15h45 EA Yaroslav Kokhan 7 - 15h45 / 16h15 EA Yu Ivlev
COFFEE BREAK
EA = Eceme Auditorium
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
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 Hidenori Kurokawa 6 - 17h30 / 18h00 E3 Diego Fernandes
E3 = Eceme Room 223
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 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 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 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
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 PHILOSOPHY – UNILOG’2013 – APRIL 6-7
Chair : Alexandre Costa-Leite
When Where Who COFFEE BREAK
6 – 17h00 /17h45 E2 André Fuhrmann
6 - 17h45 /18h15 E2 Fabrice Pataut 6 – 18h15 / 18h45 E2 Sama Agahi
E2 = Eceme Room 222
when where who
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 Yvon Gauthier 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 COFFEE BREAK
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
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 - 17h00 /17h30 E2 Walter Gomide
4 - 17h30 / 18h00 E2 Gilberto Gomes 4 - 18h00 / 18h30 E2 José Curado
4 - 18h30 / 19h00 E2 Arthur Buchsbaum COFFEE BREAK
EA = Eceme Auditorium
E2 = Eceme Room 222
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 Hélio Cardoso
3 - 16h15 / 16h45 EA Javier Legris COFFEE BREAK
3 – 17h15 /18h00 EA Juliette Lemaire
3 - 18h00 /18h30 EA John Martin 3- 18h30 / 19h00 EA Katarzyna Gan
when where who
4 - 08h30 / 09h00 E2 José Mata 4 - 09h00 / 09h30 E2 Ivo Pezler
4 - 09h30 / 10h00 E2 Eduardo Giovanni 4 - 10h00 / 10h30 E2 Greg Lavers
COFFEE BREAK
EA = Eceme Auditorium
E2 = Eceme Room 222
SESSION ALGEBRA & CATEGORY – UNILOG’2013 – APRIL 4-5
When Where Who 4 - 08h45 / 09h30 I1 Jonathan Seldin
4 - 09h30 / 10h00 I1 Petr Cintula 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 Clint van Alten
I1 = IME Room 1