Search results

•  ICALP 2021
  Logic, Semantics, and Theory of Programming: Algebraic and Categorical Models of Computation Automata, Logic, and Games Database Theory, Constraint Satisfaction
  4 KB (584 words) - 08:02, 27 September 2023
•  FSTTCS - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
  2023-12-18 → 2023-12-20 Theory Of Computation FSTTCS 2022 2022-12-18 → 2022-12-20 Theory Of Computation FSTTCS 2021 2021-12-15 → 2021-12-17 Theory Of Computation
  3 KB (671 words) - 11:39, 12 September 2023
• Algorithm
  Symposium on Discrete Algorithms Algorithm STOC - ACM Symposium on Theory of Computing Algorithm WADS - Algorithms and Data Structures Symposium Algorithm
  117 bytes (1,465 words) - 09:44, 19 October 2022
•  STOC - ACM Symposium on Theory of Computing
  Event Series Acronym STOC Title ACM Symposium on Theory of Computing Recurrence Period 1 Recurrence Unit year Academic Field Algorithm DOI https://doi
  680 bytes (564 words) - 10:41, 30 June 2023
• Computer Vision
  and Augmented Reality Computer Vision Imaging Graphics Computer Graphics Theory And Applications SAP - Symposium on Applied Perception Computer Vision Psychology
  104 bytes (656 words) - 08:47, 19 October 2022
• Academic Field:Mobile Computing
  Mobile Computing MobiCom - International Conference on Mobile Computing and Networking Mobile Computing MobiHoc - International Symposium on Theory, Algorithmic
  104 bytes (1,281 words) - 12:20, 20 October 2022
• Mobile Networks
  International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing Mobile Computing Mobile Networks Mobisys
  104 bytes (1,374 words) - 12:20, 20 October 2022
• Event Series With Missing Maintainer
  Programmable Custom Computing Machines ECKM - European Conference on Knowledge Management AsiaCRYPT - International Conference on the Theory and Application
  393 bytes (14 words) - 11:24, 24 November 2022
•  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

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)