Program for Tuesday, May 28th: Talk View

PROGRAM FOR TUESDAY, MAY 28TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

20:30

21:00

09:00-10:00

On the Idea of Exploration-guided Satisfiability Checking

Erika Abraham

10:00-10:30 Break

10:30-11:00

VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic

Johannes Schoisswohl, Laura Kovács, Konstantin Korovin

11:00-11:30

Combining Combination Properties: Minimal Models

Guilherme Toledo, Yoni Zohar

11:30-12:00

Tree-Verifiable Graph Grammars

Mark Chimes, Radu Iosif, Florian Zuleger

12:00-12:30

Fuzzy Datalog$^\exists$ over Arbitrary t-norms

M. Lanzinger, S. Sferrazza, P.A. Wałęga, G. Gottlob

12:30-14:30 Lunch (on your own / shuttle to Triolet)

14:30-15:00

Hybrid Intersection Types for PCF

Pablo Barenbaum, Delia Kesner, Mariana Milicich

15:00-15:30

Confluence for Proof-Nets via Parallel Cut Elimination

Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair

15:30-16:00

Deep Inference in Proof Search: The Need for Shallow Inference

Ozan Kahramanogullari

16:00-16:30 Break

16:30-16:40

The Application of Artificial Intelligence in the Financial Services Sector - Risks and

Prakash Seewoosunkur

16:40-16:50

Mauritius as a Burgeoning AI Hub and Way Forward

Suraj Juddoo

16:50-17:20

The Potential and Future of AI in the Medical Field

Maleika Heenaye-Mamode Khan

17:20-17:40

From Sugar Cane Fields to Cybercities: Data Science Bridging the Gap in Healthcare Access

Quentin Adam

17:40-18:00

Internship Opportunities in Mauritius, and Real-world Examples of AI Implementation in Business

David Koon

18:00-21:00 Local Cocktails Night