Seminar for Mathematical Logic

PROGRAM Program Seminara za logiku za oktobar 2005

Sastanci Seminara za matematicku logiku Matematickog instituta SANU odrzavace se i u akademskoj 2004/2005. godini po pravilu petkom od 16:15 sati u sali 2 na I spratu zgrade SANU, Beograd, Kneza Mihaila 35.

PETAK, 21. oktobar 2005.G. U 16.15 SATI
Hugo Herbelin (INRIA, Paris, France)
THE DUALITY OF COMPUTATION

The lambda-bar-calculus is a variant of lambda-calculus that is derived from Gentzen sequent calculus. Its strong symmetries show that sequent calculus can be computationally interpreted as the superimposition of a call-by-name lambda-calculus and of a call-by-value lambda-calculus. Starting from a comparison with usual lambda-calculus, the talk will cover various computational aspects of the lambda-bar-calculus, plus a tree representation of sequent calculus a la natural deduction.

PETAK, 28. oktobar 2005.G. U 16.15 SATI
Slaviša Prešić (Matematički fakultet Univerziteta u Beogradu)
ALGORITAM PRVE DESNE ZAGRADE (Alogrithm of the first right bracket)

Od jednostavnih do sve viših i viših primera. Primena u numerici, matematičko-logičkoj sintaksi, računarstvu, itd. Taj algoritam je živ, stalno se pojavljuju sve dublji i dublji njegovi oblici.

U Beogradu, 20.10.2005.

Rukovodioci seminara:
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.

Ukoliko zelite da primate mesecni program ovog Seminara elektronskom postom, pisite na adresu: vdjordje@mi.sanu.ac.yu. Inace, programi svih seminara Matematickog instituta SANU mogu se naci na adresi www.mi.sanu.ac.yu. Seminar nastavlja rad u oktobru, ukoliko ne bude vanrednih sastanaka uprilicenih povodom gostovanja stranaca ili nasih ljudi koji zive i rade u inostranstvu.