2009-05-31 → 2009-06-02 Computability Theory SOFSEM 2009 2009-01-24 → 2009-01-30 Computability Theory MathInfo 2008 2008-09-22 → 2008-09-26 Computability Theory Diagrams
104 bytes (125 words) - 08:50, 25 August 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 212 Accepted Papers 35 Organizer
1 KB (198 words) - 12:40, 15 December 2022
2017 2017-01-16 → 2017-01-20 SOFSEM 2009 2009-01-24 → 2009-01-30 Computability Theory
343 bytes (71 words) - 14:35, 24 August 2022
Event Acronym SODA 2008 Title 19th ACM-SIAM Symposium on Discrete Algorithms Start Date 2008-01-20 End Date 2008-01-22 Status as scheduled Mode on site
626 bytes (137 words) - 15:30, 19 October 2022
Event Acronym HERCMA 2007 Title 8th Hellenic European Research on Computer Mathematics and its Applications Conference Start Date 2007-09-20 End Date 2007-09-22
660 bytes (140 words) - 14:56, 19 October 2022
Event Acronym MTNS 2008 Title Mathematical Theory of Networks and Systems Start Date 2008-07-27 End Date 2008-08-01 Status as scheduled Mode on site City
651 bytes (145 words) - 15:28, 19 October 2022
Event Acronym SPAA 2008 Title 20th ACM Symposium on Parallelism in Algorithms and Architectures Start Date 2008-06-01 End Date 2008-06-30 Status as scheduled
661 bytes (137 words) - 15:29, 19 October 2022
Computer Science DCFS 2008 2008-07-16 → 2008-07-18 Computer Science Computability Theory
494 bytes (129 words) - 09:15, 24 April 2023
Event Acronym WALCOM 2008 Title Workshop on Algorithms and Computation Start Date 2008-02-07 End Date 2008-02-08 Status as scheduled Mode on site City
3 KB (509 words) - 14:23, 19 October 2022
and by SIGACT (ACM Special Interest Group on Algorithms and Computation Theory). It precedes the ACM-SIAM Symposium on Discrete Algorithms (SODA09), being
4 KB (624 words) - 14:45, 19 October 2022
Mode on site City Blaubeuren Country Germany (DE) Academic Field Computability Theory Official Website http://www.math.uni-kiel.de/mathinfo08 Deadlines
611 bytes (138 words) - 15:28, 19 October 2022
scheduled Mode on site City Paris Country France (FR) Academic Field Computability Theory Official Website http://www-spiral.lip6.fr/MACIS2007 Deadlines 2007-11-01
662 bytes (140 words) - 15:22, 19 October 2022
Charlottetown Region Prince Edward Island Country Canada (CA) Academic Field Computability Theory, Computer Science Official Website http://www.csit.upei.ca/dcfs2008
2 KB (329 words) - 09:16, 24 April 2023
LearningComputer-Supported LearningComputersComputingComputing In MathematicsComputing MethodologiesComputing ServiceComputing TechnologiesComuter ScienceConcept
305 bytes (1,165 words) - 16:17, 2 February 2023
Automata theory * Classical computability and degree structures * Complexity classes * Computability theoretic aspects of programs * Computable analysis
5 KB (724 words) - 14:46, 19 October 2022
algorithms * automata theory and languages * complexity theory, both computational and structural * foundations of security * concurrency theory * quantitative
6 KB (807 words) - 15:30, 19 October 2022
Topological and Geometric Graph Theory includes (but is not limited to): * Geometric graph theory * Topological graph theory and planarity * Combinatorial
4 KB (603 words) - 14:23, 19 October 2022
Algorithmic Game Theory Approximation Algorithms and Online Algorithms Automata, Languages, Logic, and Computability Complexity Theory Computational Learning
1 KB (221 words) - 13:06, 19 October 2022
41st ACM Symposium on Theory of Computing (STOC 2009), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held
6 KB (905 words) - 15:30, 19 October 2022
Mode on site City Herrsching Country Germany (DE) Academic Field Computability Theory Official Website http://www.cmis.brighton.ac.uk/diagrams2008 Deadlines
5 KB (686 words) - 14:46, 19 October 2022
Mode on site City Luxembourg Country Luxembourg (LU) Academic Field Computability Theory Official Website http://deon2008.uni.lu Deadlines 2008-01-11 Organizer
5 KB (690 words) - 14:45, 19 October 2022
40th ACM Symposium on Theory of Computing (STOC 2008), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held
5 KB (876 words) - 15:30, 19 October 2022
City Stonehaven Bay Country Trinidad and Tobago (TT) Academic Field Computability Theory Official Website http://www.orcca.on.ca/conferences/mica2008 Deadlines
7 KB (1,078 words) - 15:27, 19 October 2022
to the following topic areas: Algorithms: Parallel and distributed computing theory and algorithms. Design and analysis of novel numerical and combinatorial
5 KB (728 words) - 16:33, 12 March 2024
intelligence * game theory * information theoretical foundation for artificial intelligence * learning theory, and intelligent computing * model theory for computing
2 KB (268 words) - 14:24, 19 October 2022
on Big Data Computing, Applications and Technologies Ordinal 4 Event Series BDCAT - IEEE/ACM International Conference on Big Data Computing, Applications
4 KB (711 words) - 13:01, 19 October 2022
Verification Logic Programming Automation Theory FOCS - IEEE Symposium on Foundations of Computer Science Computer Science Theory Of Computation FOGA - ACM/SIGEVO
104 bytes (874 words) - 09:08, 12 September 2022
services Mathematical optimization Control theory Probability theory, stochastic processes, queuing theory Machine learning, deep learning, artificial
3 KB (423 words) - 14:37, 24 July 2023
addresses the full scope from hardware limitations over algorithm and computing theory to new means for application development and execution. The workshop
3 KB (528 words) - 14:55, 19 October 2022
agent enabled social computing. Papers are solicited both on theories and applications. * Social Computing theories * Social Computing with agents and multi-agent
4 KB (545 words) - 14:44, 19 October 2022
evolution Optimization theories and methods Immune system theory Evolutionary computation Grammatical evolution Natural computing theories Simulation and emulation
6 KB (770 words) - 14:05, 19 October 2022
Programming Languages Programming Language STOC - ACM Symposium on Theory of Computing Algorithm Events List STOC 2022 2022-06-20 → 2022-06-24 Algorithm
71 bytes (983 words) - 12:28, 15 December 2022
worlds, collaborative information seeking, etc. Theories and models: Critical analysis or organizing theory with clear relevance to the design or study of
4 KB (628 words) - 08:58, 5 August 2023
of new social and collaborative systems and experiences. Theories: Critical analysis or theory with clear relevance to the design or study of social and
4 KB (545 words) - 10:02, 5 August 2023
Science Computer Science Theory Of Computation ICAC - IEEE International Conference on Autonomic Computing Distributed Computing ICALT - IEEE International
88 bytes (6,340 words) - 09:06, 6 March 2023
Distributed Computing Distributed Computing DLT - International Conference on Developments in Language Theory Natural Language Processing Theory Of Computation
71 bytes (593 words) - 08:05, 14 October 2022
such areas includes (but is not limited to) distributed computing, parallel computing, game theory, social networks, networking (including areas from ad
5 KB (723 words) - 15:30, 19 October 2022
IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC) Cryptography TCC - Theory of Cryptography Conference Cryptography Events
104 bytes (144 words) - 12:52, 19 October 2022
of new social and collaborative systems and experiences. Theories: Critical analysis or theory with clear relevance to the design or study of social and
7 KB (975 words) - 07:59, 7 August 2023
Science (ISI) ISIT (2): ISIT - IEEE International Symposium on Information Theory, ISIT - International Conference on Intellectual Systems and Information
221 bytes (219 words) - 14:36, 23 August 2022
of new social and collaborative systems and experiences. Theories. Critical analysis or theory with clear relevance to the design or study of social and
7 KB (1,093 words) - 06:35, 7 August 2023
of new social and collaborative systems and experiences. Theory: Critical analysis or theory with clear relevance to the design or study of social and
9 KB (1,366 words) - 10:50, 1 June 2023
of new social and collaborative systems and experiences. Theories: Critical analysis or theory with clear relevance to the design or study of social and
7 KB (1,079 words) - 07:44, 7 August 2023
applications, novel models of grid computing, including cloud and mobile computing. Applications: Theory and practice of grid computing. Solution of large problems
2 KB (405 words) - 14:55, 19 October 2022
computer science; concurrency theory and foundations of distributed and mobile computing; database theory; finite model theory; formal aspects of program
5 KB (797 words) - 13:25, 14 December 2022
Fundamentals of Computation Theory Ordinal 20 Event Series FCT - International Symposium on Fundamentals of Computer Theory Start Date 2015-08-17 End Date
4 KB (503 words) - 09:30, 7 July 2023
Systems Graph Technologies in the Humanities Humanities Computer Graphics Theory And Applications Networks ICUIMC - International Conference on Ubiquitous
104 bytes (790 words) - 12:39, 20 October 2022
Fundamentals of Computation Theory Ordinal 10 Event Series FCT - International Symposium on Fundamentals of Computer Theory Start Date 1995-08-22 End Date
1,008 bytes (168 words) - 19:34, 22 September 2022
verification; type systems; concurrency theory; database theory, semi-structured data and finite model theory; models of reactive, hybrid and stochastic
3 KB (367 words) - 09:16, 5 August 2023
information systems * Semiotic engineering and Semiotics in business computing * Semiotic theory, concepts, methods and techniques, and their practical applications
9 KB (1,247 words) - 14:55, 19 October 2022
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 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
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
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
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
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
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
Image / multimedia processing Graphics and visualization Distributed computing Graph theory and Network Science Human-computer interaction Social science approaches
7 KB (909 words) - 14:08, 19 October 2022
on words - language varieties and semigroups - algebraic language theory - computability - computational and structural complexity - decidability questions
6 KB (874 words) - 10:26, 14 December 2022
on Data Engineering Database ICDT - International Conference on Database Theory Database IDEAS - International Database Engineering and Applications Symposium
104 bytes (4,060 words) - 09:01, 19 October 2022
STOC 2020 Title ACM Symposium on Theory of Computing Ordinal 52 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2020-06-22 End Date 2020-06-26
736 bytes (181 words) - 13:20, 15 December 2022
Acronym LATA 2009 Title 3rd INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS Start Date 2009-04-02 End Date 2009-04-08 Status as scheduled
7 KB (1,090 words) - 13:27, 14 December 2022
Association for Computing Machinery organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics
6 KB (798 words) - 12:03, 28 June 2023
External Memory Computing Quantum Computing Randomness in Computation Theory of Security in Networks Track B (Automata, Logic, Semantics and Theory of Programming):
5 KB (672 words) - 08:41, 27 September 2023
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
4 KB (542 words) - 08:52, 4 August 2023
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
3 KB (553 words) - 08:50, 4 August 2023
STOC 2022 Title ACM Symposium on Theory of Computing Ordinal 54 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2022-06-20 End Date 2022-06-24
692 bytes (177 words) - 11:25, 7 July 2023
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
4 KB (585 words) - 07:38, 10 July 2023
Computation Theory, Association for Computing Machinery organization Special Interest Group on Programming Languages, Association for Computing Machinery
528 bytes (123 words) - 11:27, 30 June 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 247 Accepted Papers 68 Organizer
4 KB (551 words) - 08:51, 4 August 2023
Algorithmic graph theory and combinatorics, optimization, Randomness in computing, Approximation algorithms, Algorithmic coding theory, Algebraic computation
2 KB (377 words) - 08:34, 11 September 2023
institutions - economically-motivated agents - game theory (cooperative and non-cooperative) - social choice theory, voting protocols - auction and mechanism design
3 KB (411 words) - 14:44, 19 October 2022
compression, perceptual coding. Compressed data structures. Quantization theory, and vector quantization (VQ). Joint source-channel coding. Compression
1 KB (153 words) - 14:27, 24 August 2022
Foundations of Algorithmic Game Theory Machine Learning Parallel, Distributed and External Memory Computing Quantum Computing Randomness in Computation Track
5 KB (629 words) - 08:10, 27 September 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 176 Accepted Papers 29 Organizer
727 bytes (172 words) - 12:41, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 225 Accepted Papers 36 Organizer
743 bytes (177 words) - 12:43, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 108 Accepted Papers 29 Organizer
744 bytes (177 words) - 12:49, 15 December 2022
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
687 bytes (176 words) - 12:48, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 126 Accepted Papers 24 Organizer
770 bytes (178 words) - 12:41, 15 December 2022
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 Computation3 KB (671 words) - 11:39, 12 September 2023
