Program for Wednesday, December 8th: Talk View

PROGRAM FOR WEDNESDAY, DECEMBER 8TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

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

10:00-10:50

Gödel Incompleteness and Proof Assistants

Cristian Calude

11:00-11:50

Decidability of membership problems in 2 × 2 matrices over rational numbers

Volker Diekert

11:10-12:30

An analytic and symbolic analysis of a coupled thermo-neutronics problem

François Dubois, Olivier Lafitte

11:10-12:30

Uncertainty treatment of a coupled model of thermohydraulics and neutronicsusing special functions

Abdelqoddous Moussa, Olivier Lafitte

11:10-12:30

Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate

Stef Graillat, Fabienne Jezequel, Enzo Queiros Martins, Maxime Spyropoulos

11:10-12:30

Excess intersections and numerical irreducible decompositions

Daniel Bates, David Eklund, Jonathan Hauenstein, Chris Peterson

12:10-12:50

Applications of the Lean theorem prover to proof mining

Horatiu Cheval

12:10-12:50

Secure Multiparty Computation in arbitrary rings

Mihai Prunescu

14:00-14:50

IoT security: The good the bad and the ugly

Dragos-Teodor Gavrilut

15:10-16:40

Automated Reasoning with Vampire

Laura Kovacs

15:10-16:00

Local Reasoning about Parameterized Reconfigurable Distributed Systems

Radu Iosif

16:20-17:00

DELP: Dynamic Epistemic Logic for Security Protocols

Ioana Leuștean, Bogdan Macovei

16:20-17:00

Extended Z3 Array

Alexandru-Ioan Lungu

17:00-18:00

An Editor Calculus With Undo/Redo

H. Hüttel, R. Rendal Kjær, M. Mantzius Nielsen, M. Holm Lundbergh

17:00-18:00

A Special Case of Schematic Syntactic Unification

David Cerna

17:00-18:00

Designing a new Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform

Stefan Andrei, Albert Cheng, Vlad Radulescu

17:00-18:20

Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation

Catalin Stoean, Daniel Lichtblau

17:00-18:20

A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization

M. Zivkovic, C. Stoean, A. Petrovic, N. Bacanin, I. Strumberger, T. Zivkovic

17:00-18:20

Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration

R. Stoean, N. Bacanin, L. Ionescu, M. Boicea, A.-M. Garau, C.-C. Ghitescu

17:00-18:20

The Cleisthenes Protocol : A Fair Governance-Based Democratic Consensus Algorithm

Togoe Nicolae-Bogdan-Cristian, Pungila Ciprian