Seminar for Mathematical Logic
PROGRAM
Plan rada Seminara za logiku za januar 2015.
Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u letnjem semestru 2011/2012.g. na ovoj adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Cetvrtkom posle podne, ali od 15:00 sati, odrzavace se predavanja na Seminaru iz verovatnosnih logika pod rukovodstvom Profesora Miodraga Raskovica koji je u decembru 2007. dobio akreditaciju Naucnog veca Instituta. Na taj nacin, ponovo, kao pre vise decenija, postoje dva logicka seminara.
PETAK, 16.01.2015. U 16:15 (MI SANU, 301f)
Zajednicki sastanak sa Odeljenjem za matematiku
Pierre-Louis Curien, UniversitParis Diderot, Francuska
A LANGUAGE FOR WIRINGS OF VARIOUS TYPES OF OPERADS
Abstract: In my work with Hugo Herbelin, and then with my student Guillaume Munch, we explored term syntaxes for sequent calculus (a formalism for writing formal proofs proposed by Gentzen in the 1930s). I recently found out that the same style of syntax allows for a neat programming-language style description of the wiring structures underlying operads, cooperads, dioperads, cyclic operads and possibly more types of operad-like structures, that have popped up in topology, geometry, and mathematical physics. The talk will introduce our language and take this occasion to revisit the various definitions of these notions as found in the literature, pointing out why they are equivalent (a task usually considered easy and left to the reader, but whose careful examination is not a luxury).
PETAK, 23.01.2015. U 16:15 (MI SANU, 301f)
Hugo Torres Vieira, IMT Institute for Advanced Studies Lucca, Italija
FROM VERIFICATION TO SYNTHESIS OF COMMUNICATION CENTERED SYSTEMS
Abstract: Formal analysis of Software systems has proved to be of crucial importance in the delivery of reliable systems. There has been a significant research effort in the last decades dedicated to the development of techniques and tools that allow to ensure some correctness properties of programs. Moreover, such approaches have explored in depth precise relations between implementations and specifications, in particular via specification logics and type systems. In this talk we present ongoing work on how to exploit such relations between programs and specifications aiming at the synthesis of correct by construction programs based on types that may serve as easier faster to write program specifications. In particular, our aim is to automatically generate the communication skeleton for message-passing programs based on behavioral type systems.
PETAK, 30.01.2015. U 14:00 (SVECANA SALA SANU)
Zajednicki sastanak sa Odeljenjem za matematiku, Odeljenjem za mehaniku, Seminarom za racunarstvo i primenjenu matematiku, Seminarom za istoriju i filozofiju matematike i mehanike i Seminarom za verovatnosne logike
Stevan Pilipovic, Departman za matematiku, Univerzitet u Novom Sadu
VREDNOVANjE U NAUCI U 2015. nas ocekuje citav niz vaznih dogadjanja u nauci Srbije: naucna strategija, kraj projektnog ciklusa, konkurs za novi projektni ciklus, zakon o nauci i odgovarajuci pravilnici, izbori u SANU...
Zasnivanje naucne politike i naucnog izbora treba da bude izvedeno na osnovu jasnih principa vrednovanja u nauci.
U okviru predavanja ce biti izlozeni predlozi novog pravilnika o izboru u zvanja i vrednovanju naucnih rezultata, bice analizirani kvantitativni i kvalitativni pokazatelji naucnog vrednovanja i, konkretno, bice dati predlozi vazni za pocetak novog projektnog ciklusa u nauci.
OBAVESTENJA:
Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: zpetric@mi.sanu.ac.rs ili tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs
Beograd,
Srdacan pozdrav,
rukovodioci seminara Zoran Petric i Predrag Tanovic