Search results

FCT 2011
categorical methods automata and formal languages computability and nonstandard computing models database theory foundations of concurrency and distributed systems

3 KB (385 words) - 09:45, 5 August 2023
FCT 2017
Fundamentals of Computation Theory Ordinal 21 Event Series FCT - International Symposium on Fundamentals of Computer Theory Start Date 2017-09-11 End Date

3 KB (456 words) - 07:50, 7 August 2023
CSL 2022
finite model theory computability computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical

4 KB (539 words) - 14:38, 13 June 2023
Machine Learning
Data Computing ICML 2018 2018-07-10 → 2018-07-15 Machine Learning COLT 2018 2018-07-06 → 2018-07-09 Machine Learning Computational Learning Theory DEEM

104 bytes (2,346 words) - 11:38, 20 October 2022
POPL - ACM SIGACT Symposium on Principles of Programming Languages
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery CORE Rankings Year 2014 Rank A* Maintainer Organization

665 bytes (586 words) - 11:42, 9 May 2023
HSCC 2009
limited to: �?� Models of heterogeneous systems; �?� Computability and complexity; �?� Real-time computing and control; �?� Embedded and resource-aware control;

3 KB (515 words) - 14:56, 19 October 2022
MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing
Title International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing Recurrence Period 1 Recurrence

510 bytes (327 words) - 07:37, 21 September 2022
LICS 2018
programming constructive mathematics database theory decision procedures description logics domain theory finite model theory formal aspects of program analysis formal

4 KB (620 words) - 14:13, 19 October 2022
LICS 2020
programming constructive mathematics database theory decision procedures description logics domain theory finite model theory formal aspects of program analysis formal

5 KB (723 words) - 14:12, 19 October 2022
LPAR 2008
foundational to the applied. At one extreme, it underlies computability and complexity theory and the formal semantics of programming languages. At the

6 KB (891 words) - 15:21, 19 October 2022
LICS 2019
programming constructive mathematics database theory decision procedures description logics domain theory finite model theory formal aspects of program analysis formal

4 KB (610 words) - 14:13, 19 October 2022
LICS 2017
programming constructive mathematics database theory decision procedures description logics domain theory finite model theory formal aspects of program analysis formal

4 KB (583 words) - 15:23, 19 October 2022
LICS 2016
programming constructive mathematics database theory decision procedures description logics domain theory finite model theory formal aspects of program analysis formal

4 KB (618 words) - 15:21, 19 October 2022
Events With Missing Organizer
International Conference on Mobile Computing and Networking 2022-10-17 MobiHoc 2022 MobiHoc - International Symposium on Theory, Algorithmic Foundations, and

378 bytes (12 words) - 11:05, 3 November 2022
Artificial Intelligence
Artificial Intelligence Computer Science Literature Translation Translation theory Interlingualism Creativity research KI 2023 2023-09-26 → 2023-09-29 Artificial

104 bytes (4,594 words) - 09:45, 1 September 2022
ICWSM 2020
Image / Multimedia Processing Graphics and Visualization Distributed Computing Graph Theory and Network Science Human-computer Interaction Social science approaches

7 KB (1,000 words) - 13:23, 18 December 2023
Organization:Indian Association for Research in Computing Science
Science Theory Of Computation Events List FSTTCS 2023 2023-12-18 → 2023-12-20 Theory Of Computation FSTTCS 2022 2022-12-18 → 2022-12-20 Theory Of Computation

71 bytes (69 words) - 11:23, 12 September 2023
Events With Missing Country
2022-09-19 TSTP 2022 TSTP - Scientific and Technical Conference Transport Systems Theory and Practice 2022-09-19 IAC IAF Human Spaceflight Symposium IAC IAF Human

372 bytes (12 words) - 11:12, 3 November 2022
Software Engineering
and Measurement Software Engineering ETAPS - European Joint Conferences on Theory and Practice of Software Software Engineering FOSSACS - Foundations of Software

145 bytes (4,762 words) - 16:53, 20 October 2022
Formal Methods
Networks Formal Methods Software Verification Logic Programming Automation Theory FMICS - International Workshop on Formal Methods for Industrial Critical

82 bytes (1,026 words) - 06:51, 20 October 2022