Monday, September 15
17:00
Registration is open
20:30
Dinner
18:30-19:45 (Session Chair: Florin Manea)
Open Discussion about Theory Day
SCHEDULE.
NEW
Tuesday, September 16
17:00
Open Discussions and Closing
10:00-10:30
Coffee Break
9:00-10:00 (Session Chair: Denisa Diaconescu)
10:30-12:00
3 Contributed Talks (Full papers, Session Chair: Marius Popescu):
Rozica-Maria Tache - Minimum general sum-connectivity index of bicyclic graphs for α>1
12:15-14:00
Lunch Break
14:00-15:00 (Session Chair: Andrei Paun)
Invited Talk: Ion Petre - Quantitative refinement as an approach to biomodeling
15:00-15:30
Coffee Break
15:30-17:00
4 Contributed Talks (2 Full Papers and 2 Short Papers, Session Chair: Ioana Leustean)
Claudia Muresan - Lifting Properties versus t--filters
Rodica Ceterchi - A Categorical Equivalence for a Class of Product Pseudo-Hoops
17:30-18:30 (Session Chair: Florin Manea)
12:00-12:15 (Session Chair: Cristian S. Calude)
Special Session: Theoretical Computer Science at the University of Bucharest