Pe 18 și 19 Septembrie 2023 va avea loc în amfiteatrul Spiru Haret un workshop cu tema Informatică Teoretică, dedicat aniversării vârstei de 65 de ani a profesorului Victor Mitrana, organizat de Marius Dumitran, Radu Gramatovici și Florin Manea.
Programul acestui workshop poate fi văzut mai jos. Workshopul va fi organizat în prezență, dar unele prezentari vor fi oferite online (și tot workshopul va putea fi urmărit online, de asemenea).
Organizatorii vă invită să participați la acest workshop, care conține atât talkuri științifice, discuții informale, cât și un program social (cina și pauze de cafea). Cei interesați în a participa sunt rugați să trimită un scurt mesaj (la adresa florin.manea@cs.uni-goettingen.de) în care să își anunțe prezența.
Program:
Monday, 18.9
9:30 – Arrival and get together
9:45 – 10:00 Opening.
10:00 – 11:30 Session 1:
Cristina Tirnauca (presence): Parkinson’s disease detection based on gait alterations
Robert Mercas (presence): Complexity results on one-way jumping model of automata
Andrei Paun (presence): Unconventional Models of Computation
11:30 – 12:00 Coffee break
12:00 – 13:30 Session 2:
Jose Sempere (presence): Why I like Networks of Biologically inspired Processors: My research journey with Victor Mitrana
Paolo Bottoni & Anna Labella (zoom): Agents + Environment = Interaction
Erzsébet Csuhaj Varjú (zoom): Developments in Networks of Evolutionary Processors
13:30 – 14:30 Lunch
14:30 – 15:30 Informal session, including messages from Victor Mitrana’s colleagues and co-authors.
15:30 – 16:00 Coffee break
16:00 – 17:00 Session 3:
Gabriel Istrate (presence): The language (and series) of Hammersley-type processes
Ferucio Tiplea (presence/zoom): Generalized inverse based decoding and constraint satisfaction problems
17:00 – 18:15 Session 4:
Eugen Czeizler (zoom): Multi-Layered (Base-Relief) Wireframe DNA Origami: Design and Automation
Ion Petre (zoom): Victor Mitrana in Turku
Peter Leupold (zoom): Computation or not?
19:30 Dinner (Aubergine-Aviatorilor Restaurant – Strada Ioan Cantacuzino nr.8, Aviatorilor, Bucuresti), for those interested.
Tuesday, 19.9
11:00 – 12:00 Session 6:
Florin Manea (presence): Formal languages via theories over strings
Denisa Diaconescu (presence): VLSM: A General Theory for Reasoning about Faulty Distributed Systems
12:00 – 12:30 Coffee break
12:30 – 14:00 Session 5:
Alex Popa (presence): Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms
Marian Gheorghe (presence/zoom): Kernel P systems
Gheorghe Stefanescu (presence): Two-dimensional languages, virtual organisms, and the consciousnesss problem