Tuesday, August 28
Section 1
Chair Mauricio Ayala-Rincón
09:20 - 09:30 Oppening
LSFA Invited Talk
09:30 - 10:30 Fairouz Kamareddine. "The MathLang framework for computerizing and checking Mathematics" (foils)
10:30 - 11:00 Coffe Break
Section 2
Chair Simona Ronchi Della Rocca
11:00 - 11:30 Mario Benevides and Luis Menasché Schechter. "Modal Expressiveness of Graph Properties" (foils)
11:30 - 12:00 Leonardo Vana, Paulo A.S. Veloso and Sheila R.M. Veloso. "Sequent Calculus for 'Generally'" (foils)
12:00 - 14:00 Lunch
Section 3
Chair Elaine Pimentel
LSFA Invited Talk
14:00 - 15:00 Simona Ronchi Della Rocca. "SOFT Time and SOFT Space" (foils)
Section 4
Chair Gilles Dowek
15:00 - 15:30 Ana Teresa Martins and Alexandre Matos Arruda. "An Infinitary System for the Least Fixed-Point Logic" (foils)
15:30 - 16:00 Andre Murbach Maidl, Claudio Carvilhe and Martin Musicante. "Maude Object-Oriented Action Tool" (foils)
16:00 - 16:30 Coffe Break
Section 4
Chair Fairouz Kamareddine
16:30 - 17:00 Luis Menezes. "Aspect-oriented Action Semantics Descriptions" (foils)
17:00 - 17:30 Benjamin Bedregal, Regivan Nunes, Renata Reiser and Graçaliz Dimuro. "Interval Valued R-Implications and Automorphisms" (foils)
17:30 - 17:40 Closing
18:00 - 18:30 LSFA PC & business meeting
Wednesday, August 29
LSFA + SBMF Invited Talk
Chair: Edward Hermann Haeusler
11:00-12:00 Gilles Dowek. "Truth values algebras and proof normalization" (foils)
See also the SBMF'07 complete symposium program.