International Conference on Logical Foundations of Computer Science ICLFCS on August 03-04, 2023 in Batumi, Georgia

Name: International Conference on Logical Foundations of Computer Science
Start: 2023-08-02T21:00:00.000000Z
End: 2023-08-03T21:00:00.000000Z

Submit Your Paper

Short Name: ICLFCS
Event Type: Conference
Presentation: Digital
Website URL: https://waset.org/logical-foundations-of-computer-science-conference-in-august-2023-in-batumi
Program URL: https://waset.org/conferences-in-august-2023-in-batumi/program
Location: Batumi, Georgia
Date: August 03-04, 2023
Organization: World Academy of Science, Engineering and Technology
Conference Tags: computer science

Description
Organization

Constructive mathematics and type theory
Homotopy type theory
Logic, automata, and automatic structures
Computability and randomness
Logical foundations of programming
Logical aspects of computational complexity
Parameterized complexity
Logic programming and constraints
Automated deduction and interactive theorem proving
Logical methods in protocol and program verification
Logical methods in program specification and extraction
Domain theory logics
Logical foundations of database theory
Equational logic and term rewriting
Lambda and combinatory calculi
Categorical logic and topological semantics
Linear logic
Epistemic and temporal logics
Intelligent and multiple agent system logics
Logics of proof and justification
Nonmonotonic reasoning
Logic in game theory and social software
Logic of hybrid systems
Distributed system logics
Mathematical fuzzy logic
System design logics
Other logics in computer science

Name: World Academy of Science, Engineering and Technology
Website: https://waset.org/
Address: UAE

World Academy of Science, Engineering and Technology is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the conference program.