Odeljenje za matematiku, 16. januar 2015.

• 16. Januar,  2015
• Komentari (0)

Naredni sastanak Odeljenja za matematiku biće održan kao zajednički sastanak sa Seminarom za logiku u petak, 16. januara 2015. u sali 301f Matematičkog instituta SANU sa početkom u 14 časova.

Predavač: Pierre-Louis Curien, Universite Paris Diderot, Francuska

Naslov predavanja: A LANGUAGE FOR WIRINGS OF VARIOUS TYPES OF OPERADS

Sadržaj: 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).

PLAN RADA ZA JANUAR 2015.

---