Moscow-Beijing Topology seminar: On the different flavours of Lawrence-Bigelow representations

Wednesday 2 December 2020, 10:30am Moscow time (9:30am Bucharest time) Invited talk at the Moscow-Beijing Topology seminar. Speaker: Martin Palmer-Anghel (IMAR) Title: On the different flavours of Lawrence-Bigelow representations Abstract: The family of Lawrence-Bigelow representations of the braid groups are of central importance in the study of the braid groups themselves, as well as theirContinue reading “Moscow-Beijing Topology seminar: On the different flavours of Lawrence-Bigelow representations”

Purdue Topology Seminar: Homology of configuration-section spaces

Invited talk at the Purdue Topology Seminar (Purdue University, Indiana). Wednesday, October 21, 2020, 11:30am Eastern Daylight Time (UTC-4) Speaker: Martin Palmer-Anghel (IMAR) Title: Homology of configuration-section spaces Abstract: For a manifold M equipped with a bundle E, the configuration-section spaces on (M,E) consist of configurations of points on M together with a section ofContinue reading “Purdue Topology Seminar: Homology of configuration-section spaces”

Quantum Topology Seminar: Zipper logic revisited

Invited talk in the Quantum Topology Seminar. Thursday, September 24, 2020, 16:00 Chicago time Speaker: Marius Buliga (IMAR) Title: Zipper logic revisited Abstract: Can we compute with Reidemeister moves? A graph rewrite system over tangle diagrams, with only Reidemeister moves as rewrites, is not enough to implement lambda calculus. One needs to allow reconnection moves,Continue reading “Quantum Topology Seminar: Zipper logic revisited”

Knots2020: Emergent rewrites in knot theory and logic

Wednesday, June 10 at 10:00 AM Bucharest time (GMT+3) Invited talk at the Conference on Physical Knotting, Vortices and Surgery in Nature. Site of the conference: http://labtd.nsu.ru/knots2020/program.html Title: Emergent rewrites in knot theory and logic Speaker: Marius Buliga (marius.buliga@imar.ro) Abstract: I explain in what sense new graph rewrite systems emerge from given ones, with twoContinue reading “Knots2020: Emergent rewrites in knot theory and logic”

RD Seminar: Pure See, a lambda calculus for space

Invited talk at the Recursive Distinctioning Seminar, organized by L.H. Kauffman (Chicago). Saturday, June 6, 2020, 12:00 Chicago time Title: Pure See, a lambda calculus for space Speaker: Marius Buliga (marius.buliga@imar.ro) Abstract: Pure See is a close relative of untyped lambda calculus, which uses as primitive commands the 6 permutations of “(from a) (see b)Continue reading “RD Seminar: Pure See, a lambda calculus for space”

RD Seminar: Chemlambda

Saturday, May 23, 2020, 12:00 Chicago time Invited talk at the Recursive Distinctioning Seminar, organized by L.H. Kauffman (Chicago). Title: Chemlambda Speaker: Marius Buliga (marius.buliga@imar.ro) Abstract: In the talk I shall explain the evolution of chemlambda, from a purely local version of graphic lambda calculus, called “chemical concrete machine”, to some explorations of relations withContinue reading “RD Seminar: Chemlambda”

WADT 2020: Dynamic reconfigurations through hybrid lenses

Wednesday, 29 April 2020, 12:00 A talk at the 25th International Workshop on Algebraic Development Techniques. The virtual workshop will take place via Zoom on Wednesday, 29th of April, from 9:30 BST. Webpage: https://wadt2020.github.io/ Abstract: I will give a short overview of using modalities and modal-logic operators to capture the intuitive notion of system reconfiguration,Continue reading “WADT 2020: Dynamic reconfigurations through hybrid lenses”

Create your website with WordPress.com
Get started