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
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 191 Accepted Papers 30 Organizer
758 bytes (186 words) - 12:48, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 146 Accepted Papers 27 Organizer
763 bytes (188 words) - 12:50, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 105 Accepted Papers 25 Organizer
768 bytes (188 words) - 12:50, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 198 Accepted Papers 36 Organizer
759 bytes (186 words) - 09:23, 7 July 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 173 Accepted Papers 39 Organizer
761 bytes (186 words) - 12:43, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 121 Accepted Papers 24 Organizer
767 bytes (186 words) - 12:50, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 199 Accepted Papers 39 Organizer
751 bytes (182 words) - 12:43, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 148 Accepted Papers 34 Organizer
774 bytes (190 words) - 12:43, 15 December 2022
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
699 bytes (182 words) - 12:50, 15 December 2022
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
702 bytes (184 words) - 12:49, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 204 Accepted Papers 30 Organizer
768 bytes (188 words) - 12:43, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 135 Accepted Papers 27 Organizer
760 bytes (186 words) - 12:50, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 175 Accepted Papers 32 Organizer
766 bytes (188 words) - 12:42, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 177 Accepted Papers 28 Organizer
766 bytes (188 words) - 12:48, 15 December 2022
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
704 bytes (182 words) - 12:49, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 167 Accepted Papers 33 Organizer
762 bytes (186 words) - 12:40, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 151 Accepted Papers 30 Organizer
768 bytes (186 words) - 12:41, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 121 Accepted Papers 38 Organizer
768 bytes (188 words) - 12:49, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 170 Accepted Papers 28 Organizer
758 bytes (186 words) - 12:49, 15 December 2022
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
707 bytes (182 words) - 12:43, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 227 Accepted Papers 52 Organizer
823 bytes (189 words) - 09:01, 4 August 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 100 Accepted Papers 22 Organizer
766 bytes (186 words) - 12:51, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 172 Accepted Papers 31 Organizer
758 bytes (186 words) - 12:40, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 90 Accepted Papers 20 Organizer
760 bytes (186 words) - 12:50, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 126 Accepted Papers 24 Organizer
746 bytes (191 words) - 12:41, 15 December 2022
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 136 Accepted Papers 24 Organizer
755 bytes (185 words) - 12:42, 15 December 2022
of programming language research, including the design, implementation, theory, and efficient use of languages. PLDI’s emphases include innovative and
3 KB (505 words) - 08:43, 11 August 2023
STOC 2019 Title ACM Symposium on Theory of Computing Ordinal 51 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2019-06-23 End Date 2019-06-26
628 bytes (178 words) - 13:20, 15 December 2022
STOC 1996 Title ACM Symposium on Theory of Computing Ordinal 28 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1996-05-22 End Date 1996-05-24
571 bytes (172 words) - 12:57, 15 December 2022
Event Series Acronym ICTIR Title ACM SIGIR International Conference on the Theory of Information Retrieval Academic Field Information Retrieval Related Identifiers
430 bytes (168 words) - 08:51, 8 September 2023
learning; data markets. Behavioral models: behavioral game theory and bounded rationality; decision theory; computational social science; agent-based modeling
6 KB (804 words) - 07:45, 7 August 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 128 Accepted Papers 28 Organizer
787 bytes (198 words) - 08:09, 10 July 2023
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
715 bytes (190 words) - 09:46, 7 July 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 252 Accepted Papers 59 Organizer
839 bytes (197 words) - 08:59, 4 August 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 152 Accepted Papers 31 Organizer
785 bytes (198 words) - 06:02, 10 July 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 220 Accepted Papers 51 Organizer
799 bytes (193 words) - 09:04, 4 August 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 100 Accepted Papers 23 Organizer
790 bytes (200 words) - 12:15, 7 July 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 238 Accepted Papers 43 Organizer
803 bytes (187 words) - 09:09, 4 August 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 209 Accepted Papers 49 Organizer
835 bytes (198 words) - 10:09, 4 August 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 207 Accepted Papers 39 Organizer
837 bytes (192 words) - 11:48, 4 August 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 160 Accepted Papers 36 Organizer
875 bytes (190 words) - 11:26, 9 May 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 205 Accepted Papers 44 Organizer
814 bytes (201 words) - 10:06, 4 August 2023
STOC 1975 Title ACM Symposium on Theory of Computing Ordinal 7 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1975-05-05 End Date 1975-05-07
519 bytes (167 words) - 12:54, 15 December 2022
STOC 2004 Title ACM Symposium on Theory of Computing Ordinal 36 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2004-06-13 End Date 2004-06-15
619 bytes (171 words) - 09:03, 7 July 2023
STOC 1977 Title ACM Symposium on Theory of Computing Ordinal 9 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1977-05-04 End Date 1977-05-06
513 bytes (165 words) - 12:54, 15 December 2022
STOC 1982 Title ACM Symposium on Theory of Computing Ordinal 14 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1982-05-05 End Date 1982-05-07
546 bytes (179 words) - 11:15, 7 July 2023
STOC 1994 Title ACM Symposium on Theory of Computing Ordinal 26 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1994-05-23 End Date 1994-05-25
513 bytes (159 words) - 12:57, 15 December 2022
Computation Theory, Association for Computing Machinery organization Special Interest Group on Programming Languages, Association for Computing Machinery
3 KB (369 words) - 12:02, 28 June 2023
Computer Science, Distributed Computing Official Website https://theory.utdallas.edu/ICDCS2019/ Submission Link https://theory.utdallas.edu/ICDCS2019/cfp
1 KB (209 words) - 12:39, 30 September 2023
organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics Submitted Papers 282 Accepted Papers 64 Organizer
1 KB (247 words) - 08:58, 4 August 2023
STOC 2006 Title ACM Symposium on Theory of Computing Ordinal 38 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2006-05-21 End Date 2006-05-23
656 bytes (168 words) - 12:59, 15 December 2022
STOC 1989 Title ACM Symposium on Theory of Computing Ordinal 21 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1989-05-14 End Date 1989-05-17
516 bytes (165 words) - 12:56, 15 December 2022
STOC 1999 Title ACM Symposium on Theory of Computing Ordinal 31 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1999-05-01 End Date 1999-05-04
585 bytes (184 words) - 09:12, 7 July 2023
STOC 1979 Title ACM Symposium on Theory of Computing Ordinal 11 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1979-04-30 End Date 1979-05-02
513 bytes (165 words) - 12:54, 15 December 2022
STOC 1974 Title ACM Symposium on Theory of Computing Ordinal 6 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1974-04-30 End Date 1974-05-02
515 bytes (165 words) - 12:54, 15 December 2022
STOC 2017 Title ACM Symposium on Theory of Computing Ordinal 49 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2017-06-19 End Date 2017-06-23
782 bytes (172 words) - 13:19, 15 December 2022
STOC 1993 Title ACM Symposium on Theory of Computing Ordinal 25 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1993-05-16 End Date 1993-05-18
518 bytes (167 words) - 12:57, 15 December 2022
STOC 1985 Title ACM Symposium on Theory of Computing Ordinal 17 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1985-05-06 End Date 1985-05-08
521 bytes (167 words) - 12:55, 15 December 2022
STOC 2015 Title ACM Symposium on Theory of Computing Ordinal 47 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2015-06-14 End Date 2015-06-17
686 bytes (193 words) - 05:51, 10 July 2023
STOC 2021 Title ACM Symposium on Theory of Computing Ordinal 53 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2021-06-21 End Date 2021-06-25
607 bytes (154 words) - 12:32, 15 December 2022
STOC 2009 Title ACM Symposium on Theory of Computing Ordinal 41 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2009-05-30 End Date 2009-06-02
759 bytes (185 words) - 12:59, 15 December 2022
STOC 1976 Title ACM Symposium on Theory of Computing Ordinal 8 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1976-05-03 End Date 1976-05-05
517 bytes (165 words) - 12:54, 15 December 2022
STOC 1992 Title ACM Symposium on Theory of Computing Ordinal 24 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1992-05-04 End Date 1992-05-06
523 bytes (161 words) - 12:56, 15 December 2022
STOC 1998 Title ACM Symposium on Theory of Computing Ordinal 30 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1998-05-23 End Date 1998-05-26
558 bytes (172 words) - 12:57, 15 December 2022
STOC 2003 Title ACM Symposium on Theory of Computing Ordinal 35 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2003-06-09 End Date 2003-06-11
619 bytes (167 words) - 12:58, 15 December 2022
STOC 2002 Title ACM Symposium on Theory of Computing Ordinal 34 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2002-05-19 End Date 2002-05-21
591 bytes (161 words) - 12:58, 15 December 2022
STOC 2012 Title ACM Symposium on Theory of Computing Ordinal 44 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2012-05-19 End Date 2012-05-22
818 bytes (197 words) - 13:18, 15 December 2022
STOC 1981 Title ACM Symposium on Theory of Computing Ordinal 13 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1981-05-11 End Date 1981-05-13
517 bytes (165 words) - 12:55, 15 December 2022
STOC 2011 Title ACM Symposium on Theory of Computing Ordinal 43 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2011-06-06 End Date 2011-06-08
717 bytes (179 words) - 13:03, 15 December 2022
STOC 1978 Title ACM Symposium on Theory of Computing Ordinal 10 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1978-05-01 End Date 1978-05-03
518 bytes (167 words) - 12:54, 15 December 2022
STOC 1970 Title ACM Symposium on Theory of Computing Ordinal 2 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1970-05-04 End Date 1970-05-06
522 bytes (165 words) - 12:51, 15 December 2022
STOC 1972 Title ACM Symposium on Theory of Computing Ordinal 4 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1972-05-01 End Date 1972-05-03
512 bytes (165 words) - 12:52, 15 December 2022
STOC 2008 Title ACM Symposium on Theory of Computing Ordinal 40 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2008-05-17 End Date 2008-05-20
601 bytes (163 words) - 12:59, 15 December 2022
32nd Annual Conference on Learning Theory Ordinal 32 Event Series COLT - Annual Conference on Computational Learning Theory Start Date 2019-06-25 End Date
4 KB (493 words) - 09:13, 24 May 2023
STOC 2010 Title ACM Symposium on Theory of Computing Ordinal 42 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2010-06-05 End Date 2010-06-08
796 bytes (188 words) - 12:59, 15 December 2022
STOC 1995 Title ACM Symposium on Theory of Computing Ordinal 27 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1995-05-29 End Date 1995-06-01
562 bytes (174 words) - 12:57, 15 December 2022
STOC 1983 Title ACM Symposium on Theory of Computing Ordinal 15 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1983-04-25 End Date 1983-04-27
518 bytes (165 words) - 12:55, 15 December 2022
STOC 1997 Title ACM Symposium on Theory of Computing Ordinal 29 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1997-05-04 End Date 1997-05-06
559 bytes (174 words) - 12:57, 15 December 2022
STOC 2000 Title ACM Symposium on Theory of Computing Ordinal 32 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2000-05-21 End Date 2000-05-23
595 bytes (167 words) - 12:58, 15 December 2022
STOC 2013 Title ACM Symposium on Theory of Computing Ordinal 45 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2013-06-01 End Date 2013-06-04
753 bytes (184 words) - 13:01, 15 December 2022
innovative computing systems that extend the current frontiers of computer science and engineering. Papers are sought on innovations in theory, methodologies
5 KB (717 words) - 06:26, 4 August 2023
STOC 1969 Title ACM Symposium on Theory of Computing Ordinal 1 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1969-05-05 End Date 1969-05-07
522 bytes (169 words) - 12:51, 15 December 2022
STOC 1973 Title ACM Symposium on Theory of Computing Ordinal 5 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1973-04-30 End Date 1973-05-02
509 bytes (165 words) - 12:52, 15 December 2022
STOC 2001 Title ACM Symposium on Theory of Computing Ordinal 33 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2001-07-06 End Date 2001-07-08
545 bytes (163 words) - 12:58, 15 December 2022
STOC 2005 Title ACM Symposium on Theory of Computing Ordinal 37 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2005-05-21 End Date 2005-05-24
756 bytes (177 words) - 12:59, 15 December 2022
STOC 2016 Title ACM Symposium on Theory of Computing Ordinal 48 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2016-06-18 End Date 2016-06-21
701 bytes (176 words) - 13:02, 15 December 2022
STOC 1986 Title ACM Symposium on Theory of Computing Ordinal 18 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1986-05-28 End Date 1986-05-30
517 bytes (165 words) - 12:56, 15 December 2022
STOC 2007 Title ACM Symposium on Theory of Computing Ordinal 39 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2007-06-11 End Date 2007-06-13
623 bytes (183 words) - 12:59, 15 December 2022
STOC 1990 Title ACM Symposium on Theory of Computing Ordinal 22 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1990-05-13 End Date 1990-05-17
516 bytes (165 words) - 12:56, 15 December 2022
STOC 1988 Title ACM Symposium on Theory of Computing Ordinal 20 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1988-05-02 End Date 1988-05-04
538 bytes (177 words) - 07:43, 10 July 2023
STOC 1980 Title ACM Symposium on Theory of Computing Ordinal 12 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1980-04-28 End Date 1980-04-30
520 bytes (167 words) - 12:55, 15 December 2022
STOC 1991 Title ACM Symposium on Theory of Computing Ordinal 23 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1991-05-05 End Date 1991-05-08
519 bytes (167 words) - 12:56, 15 December 2022
STOC 1971 Title ACM Symposium on Theory of Computing Ordinal 3 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1971-05-03 End Date 1971-05-05
540 bytes (179 words) - 06:55, 10 July 2023
STOC 1984 Title ACM Symposium on Theory of Computing Ordinal 16 Event Series STOC - ACM Symposium on Theory of Computing Start Date 1984-04-30 End Date 1984-05-02
529 bytes (169 words) - 12:55, 15 December 2022
Mazovia Country Poland (PL) Academic Field Theoretical Computer Science, Theory Of Computation, Programming Language, Programming, Computer Science Official
5 KB (688 words) - 08:16, 27 September 2023
2024-03-07 → 2024-03-10 United States of America (US) Translation Translation theory CGO 2024 2024-03-02 → 2024-03-06 United Kingdom of Great Britain and Northern
808 bytes (10,171 words) - 10:31, 27 November 2023
International Symposium on Algorithmic Game Theory Event Series SAGT - International Symposium on Algorithmic Game Theory Start Date 2019-09-30 End Date 2019-10-03
3 KB (466 words) - 15:54, 15 December 2022
learning; data markets. Behavioral models: behavioral game theory and bounded rationality; decision theory; computational social science; agent-based modeling
3 KB (458 words) - 06:35, 7 August 2023
given to Cryptology, Coding Theory, Financial and Actuarial Mathematics, and Scientific Computing as well as related theory and applications. Moreover,
4 KB (574 words) - 14:55, 19 October 2022
Association for Computing Machinery organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics
4 KB (536 words) - 12:04, 28 June 2023
13th Symposium on Algorithmic Game Theory Ordinal 13 Event Series SAGT - International Symposium on Algorithmic Game Theory Start Date 2020-09-16 End Date
3 KB (471 words) - 15:54, 15 December 2022
STOC 2018 Title ACM Symposium on Theory of Computing Ordinal 50 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2018-06-25 End Date 2018-06-29
735 bytes (191 words) - 09:55, 7 July 2023
STOC 2014 Title ACM Symposium on Theory of Computing Ordinal 46 Event Series STOC - ACM Symposium on Theory of Computing Start Date 2014-05-31 End Date 2014-06-03
820 bytes (197 words) - 13:01, 15 December 2022
Mathematical Optimization in Market Design. Theory and Foundations Artificial Intelligence and Applied Game Theory Experimental, Empirical, and Applications
3 KB (467 words) - 10:03, 5 August 2023
Conference on the Theory and Applications of Cryptographic Techniques Ordinal 33 Event Series EuroCrypt - International Conference on the Theory and Application
834 bytes (171 words) - 11:01, 8 August 2023
organization Special Interest Group on Information Retrieval, Association for Computing Machinery Metrics Submitted Papers 409 Accepted Papers 86 Organizer Organization
2 KB (379 words) - 09:03, 4 August 2023
programming systems research, covering the areas of design, implementation, theory, applications, and performance. ISMM 2020 LCTES 2020 Ally Skills@PLDI2020
3 KB (445 words) - 11:40, 11 August 2023
Security SEC Cyber-Physical Systems CPS Data Mining DM Data Streams DS Database Theory, Technology, and Applications DTTA Dependable, Adaptive, and Secure Distributed
5 KB (729 words) - 13:37, 7 November 2023
Title International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing Ordinal 23 Event Series MobiHoc
492 bytes (162 words) - 18:43, 22 September 2022
2021-12-15 End Date 2021-12-17 Status as scheduled Mode online Academic Field Theory Of Computation Official Website https://www.fsttcs.org.in/archives/2021/
1 KB (213 words) - 11:24, 12 September 2023
2020-12-14 End Date 2020-12-18 Status as scheduled Mode online Academic Field Theory Of Computation Official Website https://www.fsttcs.org.in/archives/2020/
1 KB (224 words) - 11:24, 12 September 2023
include, but are not limited to the followings). 1. Theory and Method of ModelingIncluding game theory, probability model, statistical analysis, stochastic
2 KB (285 words) - 14:45, 19 October 2022
statistical models and theories New learning theories, models and systems Deep analytics and learning Distributed and parallel computing (cloud, map-reduce
4 KB (596 words) - 14:27, 24 August 2022
Cooperative theories Competitive theories Mutual cooperation Information Utilization Optimization theories Immune system theory Evolutionary computing Multi-agent
5 KB (746 words) - 14:05, 19 October 2022
Cooperative theories Competitive theories Mutual cooperation Information Utilization Optimization theories Immune system theory Evolutionary computing Multi-agent
6 KB (790 words) - 14:04, 19 October 2022
programming systems research, covering the areas of design, implementation, theory, applications, and performance. PLDI 2021 will be held in Quebec City, June
3 KB (437 words) - 11:43, 11 August 2023
International Symposium on Algorithmic Game Theory Event Series SAGT - International Symposium on Algorithmic Game Theory Start Date 2008-04-30 End Date 2008-05-02
3 KB (415 words) - 15:53, 15 December 2022
International Symposium on Algorithmic Game Theory Event Series SAGT - International Symposium on Algorithmic Game Theory Start Date 2010-10-18 End Date 2010-10-20
3 KB (425 words) - 15:53, 15 December 2022
Association for Computing Machinery organization Special Interest Group on Algorithms and Computation Theory, Association for Computing Machinery Metrics
6 KB (769 words) - 12:03, 28 June 2023
International Symposium on Algorithmic Game Theory Event Series SAGT - International Symposium on Algorithmic Game Theory Start Date 2009-10-18 End Date 2009-10-20
4 KB (526 words) - 15:53, 15 December 2022
Cooperative theories Competitive theories Mutual cooperation Information Utilization Optimization theories Immune system theory Evolutionary computing Multi-agent
6 KB (855 words) - 14:04, 19 October 2022
Conference on Decision and Game Theory for Security Event Series GameSec - Conference on the Decision and Game Theory for Security Start Date 2018-10-29
4 KB (516 words) - 15:42, 15 December 2022
The 9th Fundamentals of Computation Theory (FCT) 1993 Semantics and logical concepts in the theory of computing and formal specification Automata and
1 KB (193 words) - 13:47, 18 October 2022
they pertain to databases): Algorithms; complexity; computational model theory; concurrency; constraints; data exchange; data integration; data mining;
4 KB (614 words) - 06:24, 7 August 2023
Fundamentals of Computation Theory Ordinal 23 Event Series FCT - International Symposium on Fundamentals of Computer Theory Start Date 2021-09-12 End Date
3 KB (464 words) - 07:48, 7 August 2023
Fundamentals of Computation Theory Ordinal 22 Event Series FCT - International Symposium on Fundamentals of Computer Theory Start Date 2019-08-12 End Date
3 KB (477 words) - 08:08, 7 August 2023
International Symposium on Algorithmic Game Theory Event Series SAGT - International Symposium on Algorithmic Game Theory Start Date 2018-09-11 End Date 2018-09-14
2 KB (274 words) - 14:14, 18 October 2022
Conference on Decision and Game Theory for Security Event Series GameSec - Conference on the Decision and Game Theory for Security Start Date 2020-10-28
3 KB (462 words) - 13:33, 19 October 2022
probabilistic and statistical models and theories. * Machine learning theories, models and systems. * Knowledge discovery theories, models and systems. * Manifold
3 KB (386 words) - 13:08, 19 October 2022
economics related to e-commerce * Theory and Foundations, including o Computational aspects of economics, game theory, finance, and voting o Automated mechanism
9 KB (1,409 words) - 09:33, 4 August 2023
Conference on Decision and Game Theory for Security Ordinal 12 Event Series GameSec - Conference on the Decision and Game Theory for Security Start Date 2021-10-25
2 KB (314 words) - 13:33, 19 October 2022
Title European Conferences on Theory and Practice of Software Ordinal 16 Event Series ETAPS - European Joint Conferences on Theory and Practice of Software
4 KB (669 words) - 10:04, 6 November 2023
Title European Conferences on Theory and Practice of Software Ordinal 17 Event Series ETAPS - European Joint Conferences on Theory and Practice of Software
4 KB (671 words) - 10:40, 6 November 2023
Applications (SEA 2008) Intelligent Systems and Control (ISC 2008) Modern Nonlinear Theory (MNT 2008) and the IASTED International Symposia on: Computational Biology
2 KB (335 words) - 15:27, 19 October 2022
Title International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing Ordinal 21 Event Series MobiHoc
459 bytes (140 words) - 18:26, 22 September 2022
Title International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing Ordinal 22 Event Series MobiHoc
494 bytes (157 words) - 18:14, 22 September 2022
Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT)
1 KB (219 words) - 08:53, 11 September 2023
Acronym TPNC 2016 Title 5th International Conference on the Theory and Practice of Natural Computing Start Date 2016-12-12 End Date 2016-12-14 Status as scheduled
565 bytes (138 words) - 15:29, 19 October 2022
logic and fuzzy set theory - Fuzzy optimization and design - Fuzzy pattern recognition - Fuzzy systems for robotics - Game theory - Hardware Implementations
3 KB (526 words) - 14:03, 19 October 2022
International Conference on the Theory of Information Retrieval Ordinal 12 Event Series ICTIR - ACM SIGIR International Conference on the Theory of Information Retrieval
767 bytes (180 words) - 09:13, 8 September 2023
Responsibilities Philosophical and social perspectives Ontological foundations Systems theory and principles Conceptual modelling Human oriented systems Emerging technologies
5 KB (702 words) - 07:56, 3 March 2023
Quantum computing * Computational biology * Reconfigurable computing * Autonomic and organic computing * Computation intelligence frontiers: theory and industrial
4 KB (512 words) - 06:53, 4 August 2023
Title International Conference on Database Theory Event Series ICDT - International Conference on Database Theory Start Date 2017-03-21 End Date 2017-03-24
4 KB (602 words) - 14:05, 19 October 2022
engineering computing mobile computing pattern clustering feature extraction neural nets image classification Internet of Things fuzzy set theory organisational
1 KB (201 words) - 18:22, 20 March 2024
International Symposium on Algorithmic Game Theory Event Series SAGT - International Symposium on Algorithmic Game Theory Start Date 2015-09-28 End Date 2015-09-30
3 KB (421 words) - 14:18, 19 October 2022
The 15. European Conferences on Theory and Practice of Software (ETAPS) 2012 The European Joint Conferences on Theory and Practice of Software (ETAPS)
4 KB (677 words) - 09:52, 6 November 2023
Neural Network Theory and Architectures Hardware Implementations Fuzzy Logic Fuzzy Optimisation Fuzzy Control Fuzzy Computing with Words Theory of Evolutionary
3 KB (430 words) - 14:03, 19 October 2022
Title International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing Ordinal 16 Event Series MobiHoc
495 bytes (158 words) - 18:03, 22 September 2022
exchange novel theories, designs, applications and on-going research results among researchers and practitioners in different Computing Dependability aspects
2 KB (327 words) - 13:31, 19 October 2022
organization Special Interest Group on Information Retrieval, Association for Computing Machinery Metrics Submitted Papers 426 Accepted Papers 84 Organizer Organization
2 KB (285 words) - 09:00, 4 August 2023
Systems ?Nature-Inspired Computing ? Autonomous Computing ?Internet-based Intelligent Applications ?P2P Computing ?Grid Computing ?Self-Organized Intelligence
3 KB (479 words) - 15:30, 19 October 2022
International Symposium on Algorithmic Game Theory Event Series SAGT - International Symposium on Algorithmic Game Theory Start Date 2017-09-12 End Date 2017-09-14
3 KB (479 words) - 14:18, 19 October 2022
International Symposium on Algorithmic Game Theory Event Series SAGT - International Symposium on Algorithmic Game Theory Start Date 2016-09-19 End Date 2016-09-21
3 KB (480 words) - 14:18, 19 October 2022
more speculative directions or with emerging technologies, such as: New Theory (e.g., theoretical models, concepts and foundations of information retrieval
8 KB (1,150 words) - 10:18, 8 November 2022
Computer Architecture Petri Nets - International Conference on Applications and Theory of Petri Nets and Concurrency Computer Architecture Events List MICRO 2022
104 bytes (1,972 words) - 10:32, 1 September 2022
International Conference on Theory and Practice of Digital Libraries Ordinal 19 Event Series TPDL - International Conference on Theory and Practice of Digital
5 KB (720 words) - 15:56, 15 December 2022
information theory * Network coding and coding for multi-terminal systems * Cooperation, competition and cognition in wireless networks * Information theory in
14 KB (1,681 words) - 14:45, 19 October 2022
include sessions on all aspects of theory, design and application of communication networks and distributed computing systems. Aside from the regular presentation
8 KB (879 words) - 14:44, 19 October 2022
noisy evaluations Constrained optimization Problem representation Complexity theory for search heuristics Multi-objective optimization Benchmarking Connections
1 KB (238 words) - 07:19, 12 September 2023
Conference on Decision and Game Theory for Security Event Series GameSec - Conference on the Decision and Game Theory for Security Start Date 2017-10-23
3 KB (495 words) - 13:33, 19 October 2022
March 30, 2005. The conference covers theory, design and application of computer networks and distributed computing systems. Aside from the regular presentations
10 KB (1,086 words) - 14:44, 19 October 2022
Software * Game Theory * Geographical Information Systems/ Global Navigation Satellite Systems (GIS/GNSS) * Grid and Scalable Computing * Intelligent Information
5 KB (608 words) - 14:03, 19 October 2022
Health Informatics. Security Policy, Methods and Tools; Information Theory & Codding Theory; Cryptography, PKI and e-Signature; Biometrics and Authen-tication
3 KB (468 words) - 06:52, 21 November 2022
site. 2. Special Track on Database Theory, Technology, and Applications (DTTA) For many years, the Database Theory, Technology, and Applications track
7 KB (1,151 words) - 14:45, 19 October 2022
Preprocessing Computational Learning Theory Multi-Task Learning Online Algorithms Big Data, Scalable & High-Performance Computing Techniques Mining with Data Clouds
2 KB (321 words) - 08:16, 18 November 2022
multiple disciplines, social computing, and behavioral modeling in order to document lessons learned and develop novel theories, experiments, and methodologies
4 KB (611 words) - 15:27, 19 October 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 5 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
436 bytes (152 words) - 18:29, 22 September 2022
contributions to the theory and practice of modeling and simulation in scientific or engineering disciplines including but not limited to: - Applied Theory of Modeling
5 KB (723 words) - 14:24, 19 October 2022
conference, covering all aspects of multimedia computing: from underlying technologies to applications, theory to practice, and servers to networks to devices
4 KB (617 words) - 10:47, 23 November 2022
research advances in theories and methods usually associated with Collective Intelligence, Data Science, Human-Centric Computing, Knowledge Management
1 KB (198 words) - 14:36, 24 August 2022
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
652 bytes (184 words) - 11:43, 9 May 2023
Neural and hybrid architectures * Learning algorithms * Mathematical theory of computing * Computational intelligence * Hybrid systems * Data analysis * Pattern
3 KB (396 words) - 11:52, 27 September 2023
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 6 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
464 bytes (163 words) - 18:49, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 8 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
454 bytes (151 words) - 18:17, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 7 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
439 bytes (152 words) - 18:15, 22 September 2022
published as Computing Meaning, Vol. 2, Harry Bunt, Reinhard Muskens and Elias Thijsse, editors (Kluwer, Dordrecht 2001). The book Computing Meaning, Volume
5 KB (866 words) - 09:16, 27 December 2022
Hyderabad City Hyderabad Region Telangana Country India (IN) Academic Field Theory Of Computation Official Website https://www.fsttcs.org.in/2023/ Submission
716 bytes (185 words) - 11:39, 12 September 2023
machine learning, control theory, networking, economics, social organizations, and biological or other nonsilicon computing systems. To ensure a vigorous
6 KB (902 words) - 11:01, 20 September 2023
International Conference on the Theory of Information Retrieval Ordinal 9 Event Series ICTIR - ACM SIGIR International Conference on the Theory of Information Retrieval
589 bytes (172 words) - 09:21, 8 September 2023
Communication and Information Theory Network Security Cognitive Radio Networks Internet Applications Protocols and Algorithms Coding Theory 3G & 4G Mobile Communication
5 KB (664 words) - 14:05, 19 October 2022
mining model selection, visualization, asymptotic analysis, information theory, security and privacy, graph and link mining, rule and pattern mining, web
3 KB (425 words) - 07:45, 7 August 2023
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 18 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
438 bytes (152 words) - 18:44, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 9 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
440 bytes (154 words) - 18:05, 22 September 2022
mining model selection, visualization, asymptotic analysis, information theory, security and privacy, graph and link mining, rule and pattern mining, web
3 KB (442 words) - 07:59, 7 August 2023
Sensor Networks Theory and Applications for Environmental Issues (SeNTApE'2010) W14: Workshop on Autonomic and High Performance Computing (AHPC 2010) Special
5 KB (654 words) - 13:34, 19 October 2022
will include sessions on all aspects of theory, design and application of computer networks and distributed computing systems. Aside the regular presentation
12 KB (1,284 words) - 14:45, 19 October 2022
Acronym ITA 2012 Title 2nd Annual International Conference on Information Theory and Application Start Date 2012-03-12 End Date 2012-03-13 Status as scheduled
4 KB (566 words) - 15:22, 19 October 2022
and Array Computing Circuits and Systems for Communications Computer-Aided Network Design Digital Signal Processing Graph Theory and Computing Life-Science
3 KB (501 words) - 15:23, 19 October 2022
International Conference on the Theory of Information Retrieval Ordinal 10 Event Series ICTIR - ACM SIGIR International Conference on the Theory of Information Retrieval
635 bytes (154 words) - 09:15, 8 September 2023
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 14 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
441 bytes (152 words) - 18:45, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 20 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
439 bytes (152 words) - 19:17, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 3 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
439 bytes (152 words) - 18:13, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 1 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
439 bytes (155 words) - 19:35, 22 September 2022
complexity finite model theory computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic
3 KB (477 words) - 14:39, 13 June 2023
Systems - Content Delivery Networks - Theory, Modelling of Internet-based Systems - Self-Managing Systems - Cloud Computing & Communications - Broadband Communications
5 KB (786 words) - 14:10, 19 October 2022
welcomes contributions related to any aspect of IR, including: Foundations. IR theory, IR architecture, content representation, indexing, ranked retrieval, collaborative
3 KB (495 words) - 08:09, 10 July 2023
related topics are welcome as well: * Concepts and theory of robust statistics * Asymptotic theory and efficiency * Nonparametric methods * Multivariate
2 KB (319 words) - 14:56, 19 October 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 4 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
457 bytes (161 words) - 19:16, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 19 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
462 bytes (163 words) - 17:53, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 15 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
465 bytes (161 words) - 18:22, 22 September 2022
Sets Theory with Non-Conventional Computing (e.g. Neural Networks, Evolutionary Computation, Fuzzy Sets, Support Vector Machines, Molecular Computing, Quantum
5 KB (766 words) - 15:29, 19 October 2022
Computation Theory, Association for Computing Machinery Metrics Organizer Organization Special Interest Group on Algorithms and Computation Theory, Association
659 bytes (182 words) - 11:43, 9 May 2023
Research (Game Theory, Experimental Economics, Mathematical Finance, Logistics, Mathematical Modeling and others); • Computer Science (Cloud Computing, Informational
3 KB (420 words) - 14:44, 19 October 2022
computational proof theory constructive mathematics and type theory decision procedures domain theory equational logic and rewriting finite model theory higher-order
5 KB (653 words) - 12:46, 4 August 2023
systems * Economic concepts and mechanisms, and game theory * Emotional, and psychological computing * Complex adaptive systems, and self-organized systems
6 KB (867 words) - 15:21, 19 October 2022
engineering and robotics. Foundational issues involving probability theory and information theory, and inference and inquiry are also of keen interest as there
2 KB (354 words) - 15:21, 19 October 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 17 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
472 bytes (159 words) - 19:08, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 13 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
473 bytes (167 words) - 19:32, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 10 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
461 bytes (163 words) - 17:46, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 11 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
456 bytes (161 words) - 17:54, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 2 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
460 bytes (163 words) - 18:03, 22 September 2022
Symposium on Mobile Ad Hoc Networking and Computing Ordinal 12 Event Series MobiHoc - International Symposium on Theory, Algorithmic Foundations, and Protocol
437 bytes (152 words) - 18:53, 22 September 2022
and logics; Language theory, automata, and games; Modal, spatial, and temporal logics; Type theory and proof theory; Concurrency theory and process calculi;
5 KB (667 words) - 06:33, 1 December 2023
following criteria: 1. Quality and originality in theory and methodology of decision intelligence with soft computing techniques 2. Application oriented exhibiting
2 KB (431 words) - 15:30, 19 October 2022
Network Theory and Architectures - Hardware Implementations - Fuzzy Logic - Fuzzy Optimisation - Fuzzy Control - Fuzzy Computing with Words - Theory of Evolutionary
3 KB (461 words) - 14:56, 19 October 2022
of interest: NETWORKING - Networking for Cloud Computing - Mobile Cloud Computing and Mobile Edge Computing - Communications for Smart grid - Peer-to-Peer
7 KB (976 words) - 09:54, 29 December 2023
various kinds. WISM’09-AICI'09 is multi-disciplinary in which a wide range of theory and methodologies are being investigated and developed to tackle complex
5 KB (730 words) - 15:30, 19 October 2022
in any aspect of security or privacy. Papers may present advances in the theory, design, implementation, analysis, verification, or empirical evaluation
4 KB (510 words) - 14:18, 19 October 2022
academia, industry and governments to advance the theories and technologies in parallel and distributed computing. ICA3PP 2008 will be held on the island of Cyprus
4 KB (553 words) - 14:56, 19 October 2022
covering all aspects of parallel and distributed processing, ranging from theory to practice, from small to the largest parallel and distributed systems
1 KB (225 words) - 13:32, 19 October 2022
(Thu.), 2006. The conference covers theory, design and application of computer networks and distributed computing systems. Aside from the regular presentations
26 KB (2,720 words) - 14:45, 19 October 2022
solving real-life problems are concerned. Acting as an interface between theory and practice, ASMDA is of great interest for both the academic and the business
6 KB (946 words) - 14:45, 19 October 2022
Security User Interface Design Wearable Computing Internet Initiative Technology and Policy Cloud Computing Grid Computing Big-data Analysis Biomedical Signal
3 KB (427 words) - 14:13, 19 October 2022
will cover the theory and practice of application-specific systems, architectures and processors. Areas for application-specific computing are many and varied
3 KB (381 words) - 14:45, 19 October 2022
solving. Task and resource allocation. Mechanism design, auctions, and game theory. Modelling other agents and self. Multi-agent planning. Negotiation protocols
6 KB (872 words) - 15:21, 19 October 2022
Applications and Computing 2009 conference addresses several themes related to theory and practice within wireless networks, computing and application related
4 KB (658 words) - 15:30, 19 October 2022
and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi;
6 KB (830 words) - 06:34, 1 December 2023
and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi;
5 KB (776 words) - 06:33, 1 December 2023
and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi;
5 KB (811 words) - 06:34, 1 December 2023
and logics; Language theory, automata, and games; Modal, spatial, and temporal logics; Type theory and proof theory; Concurrency theory and process calculi;
5 KB (710 words) - 06:33, 1 December 2023
Special Interest Group on Hypertext, Hypermedia and Web, Association for Computing Machinery Metrics Submitted Papers 615 Accepted Papers 91 Organizer Organization
4 KB (661 words) - 08:59, 8 November 2022
Special Interest Group on Hypertext, Hypermedia and Web, Association for Computing Machinery Metrics Submitted Papers 511 Accepted Papers 84 Organizer Organization
5 KB (689 words) - 10:07, 4 August 2023
Topics related to the design, analysis and implementation of data mining theory, systems and applications are of interest. These include, but are not limited
3 KB (526 words) - 13:22, 2 October 2023
International Conference on the Theory of Information Retrieval Ordinal 11 Event Series ICTIR - ACM SIGIR International Conference on the Theory of Information Retrieval
649 bytes (151 words) - 09:09, 8 September 2023
fundamental theory, but it should also cover the impact of Informatics on society and human life, and it shall furthermore complement theory foundations
5 KB (685 words) - 15:23, 19 October 2022
and Ethical Issues Topic 3: Electronic and Embedded Systems Modern Circuit Theory and Applications DSP real-time encoding technology and signal Computational
2 KB (380 words) - 14:09, 19 October 2022
for privacy-protection (modern cryptography, game theory, etc.), policies for privacy-aware computing, etc. Topics of interests include, but are not limited
4 KB (672 words) - 14:08, 19 October 2022
process and services modelling; * Big data modelling * Concepts, concept theories and ontologies; * Conceptual modelling and user participation; * Conceptual
3 KB (366 words) - 08:46, 5 August 2023
include, but are not limited to: - Foundations, algorithms, models, and theory of data mining - Machine learning and statistical methods for data mining
2 KB (373 words) - 12:41, 2 October 2023
process and services modelling; * Big data modelling * Concepts, concept theories and ontologies; * Conceptual modelling and user participation; * Conceptual
2 KB (345 words) - 12:09, 4 August 2023
interest include, but are not limited to: - Foundations, algorithms, models and theory of data mining - Machine learning and statistical methods for data mining
2 KB (366 words) - 12:39, 2 October 2023
systems real-time systems security issues in distributed computing and systems sensor networks: theory and practice social networks: modeling, analysis, and
3 KB (408 words) - 14:17, 19 October 2022
and experimentation with distributed systems theory of distributed computing wireless and mobile computing Submitted papers must be written in English and
3 KB (375 words) - 14:18, 19 October 2022
Oriented Computing Programming Abstractions for Distributed Systems Network-based Computing Cloud computing Cluster computing Mobile computing P2P systems
5 KB (801 words) - 14:55, 19 October 2022
devoted to the presentation of new and on-going research in real-time systems, theory, and applications. The primary purpose of the WiP session is to provide
3 KB (405 words) - 15:27, 19 October 2022
o Overlay networks o Parallel and distributed computing o Grid computing o Mobile and ubiquitous computing o Quantum networks and communications * Modeling
5 KB (657 words) - 15:28, 19 October 2022
are solicited on theory, techniques, systems, and tools for the design, validation, operation and evaluation of dependable computing systems. All kinds
4 KB (622 words) - 14:46, 19 October 2022
- Application of concurrency theory to biology - Parallel visualization algorithms - Web-services and internet computing for e-Science - Tools and applications
5 KB (680 words) - 14:56, 19 October 2022
encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile
4 KB (663 words) - 15:28, 19 October 2022
Software testing and analysis Software tools and development environments Theory and formal methods Papers submitted for consideration should not have been
3 KB (449 words) - 08:55, 8 August 2023
City Saarbrücken Country Germany (DE) Academic Field Computer Science, Game Theory Official Website http://react.cs.uni-saarland.de/iWIGP2011/ Deadlines 2010-11-28
5 KB (725 words) - 15:21, 19 October 2022
areas including ubiquitous computing, pervasive computing, embedded system design, development of new HW/SW-related theories and techniques in embedded
3 KB (408 words) - 14:55, 19 October 2022
analytics Edge computing Embedded and energy-efficient distributed systems Game-theory and economical aspects of distributed computing Security and privacy
5 KB (644 words) - 14:18, 19 October 2022
SWF 2008 (category Distributed computing) Hawaii Country United States of America (US) Academic Field Distributed Computing Official Website http://www.cs.wayne.edu/~shiyong/swf2008 Deadlines 2008-04-02
6 KB (861 words) - 15:30, 19 October 2022
processing, Information theory analysis of biological communications, Molecular Computation using molecular cells, Chemical computing SUBMISSION INSTRUCTIONS:
6 KB (912 words) - 15:27, 19 October 2022
to: Algorithm engineering Algorithmic aspects of networks Algorithmic game theory Approximation algorithms Computational biology Computational finance Computational
2 KB (278 words) - 07:50, 6 June 2023
ICON-SONICS focuses on both theory and applications mainly covering the topics of smart cities, automation and Intelligent Computing Systems. In addition to
4 KB (640 words) - 14:04, 19 October 2022
and applications, Information security o Coding, Video coding, information theory o Computers and Communications o Intra-, Extra- and Internet o Network Architectures
8 KB (1,061 words) - 14:45, 19 October 2022
complexity finite model theory computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic
3 KB (461 words) - 12:17, 4 August 2023
complexity finite model theory computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory, categorical logic
3 KB (472 words) - 12:12, 7 July 2023
procedures logical aspects of computational complexity finite model theory computational proof theory Bounded arithmetic and propositional proof complexity logic
3 KB (476 words) - 12:40, 4 August 2023
System Design Automation System Identification Technological Forecasting Theory and Foundations Time Series Forecasting Application of the Above Methods
4 KB (539 words) - 14:45, 19 October 2022
noisy evaluations Constrained optimization Problem representation Complexity theory for search heuristics Multi-objective optimization Benchmarking aspects
3 KB (455 words) - 09:18, 12 September 2023
26. Information Theory 7. Spectrum & medium utilization 27. VLSI & Embedded System 8. Modulation coding & demodulation 28. Circuit Theory 9. Photonic Devices
3 KB (463 words) - 14:45, 19 October 2022
to: Approximate Reasoning Artificial Intelligence Chance Theory Computer Science Credibility Theory Data Mining Decision Science Decision Support Systems
8 KB (992 words) - 15:20, 19 October 2022
Switching Theory Machine Learning and Robotics Philosophical Aspects Signal Processing Schedule: November 1, 2007: Manuscripts Due February 1, 2008: Author
2 KB (386 words) - 15:22, 19 October 2022
addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The
8 KB (1,058 words) - 15:22, 19 October 2022
Networking Mobile Networks Networks GameSec - Conference on the Decision and Game Theory for Security Computer Networking HPSR - International Conference on High
104 bytes (3,255 words) - 10:03, 1 September 2022
Deadlines organization Association for Computing Machinery (AMC) Metrics Organizer Organization Association for Computing Machinery (AMC) Venue Chicago, Illinois
4 KB (675 words) - 12:24, 7 July 2023
Madras City Chennai Region Tamil Nadu Country India (IN) Academic Field Theory Of Computation Official Website https://www.fsttcs.org.in/archives/2022/
652 bytes (180 words) - 11:39, 12 September 2023
to: Algorithm engineering Algorithmic aspects of networks Algorithmic game theory Approximation algorithms Computational biology Computational finance Computational
2 KB (313 words) - 09:20, 7 July 2023
March 25-28, 2008. The conference covers theory,design and application of computer networks and distributed computing systems. Aside from the regular presentations
8 KB (1,009 words) - 14:44, 19 October 2022
and design methods, plenary sessions on selected advanced aspects of the theory, design and applications of electronic systems, as well as tutorials given
2 KB (269 words) - 15:26, 19 October 2022
together members of the signal processing, communications and information theory communities working in universities, research centers and telecommunications
2 KB (267 words) - 15:30, 19 October 2022
and social computing for learning Educational technologies for new generations Real-time assessment of learning and performance Mobile computing for learning
3 KB (410 words) - 15:22, 19 October 2022
performed at different levels, and by using different notions and background theories. It should emphasize users' conceptual understanding of a domain, and it
9 KB (1,243 words) - 14:45, 19 October 2022
topic areas: * A1: Ambient Intelligence * A2: Ubiquitous Computing * A3: Pervasive Computing * A4: Applications of smart environments such as health m
4 KB (590 words) - 15:20, 19 October 2022
logical aspects of computational complexity, finite model theory, computational proof theory, bounded arithmetic and propositional proof complexity, logic
4 KB (558 words) - 06:34, 7 August 2023
• MAC for mesh, ad hoc, relay, and sensor networks • Network information theory • Radio resource management and allocation, scheduling • Cross-layer design
6 KB (831 words) - 15:30, 19 October 2022
May 21-23, 2007. The conference covers theory, design and application of computer networks and distributed computing systems. Aside from the regular presentations
9 KB (1,077 words) - 14:44, 19 October 2022
Papers related to this conference theme are especially solicited, including theories, methodologies, and emerging applications such as recognition of activities
6 KB (855 words) - 15:29, 19 October 2022
Technologies - Agent Theories - Agent Trends - Agents Analysis and Design - Agents and Learning - Agents and Ubiquitous Computing - Agents in Networks
4 KB (644 words) - 15:23, 19 October 2022
retrieval. Technical issues covered include, but are not limited to: * IR theories and models * Text mining issues: classification, clustering, summarization
3 KB (471 words) - 14:45, 19 October 2022
engineers, and graduate students who need to become acquaintedwith new theories and technologies related to security and privacy challenges in collaborative
2 KB (271 words) - 15:30, 19 October 2022
covering all aspects of parallel and distributed processing, ranging from theory to practice, from small to the largest parallel and distributed systems
2 KB (266 words) - 13:32, 19 October 2022
influence people. Academics and practitioners with an interest in research, theory, technologies, design, and applications related to persuasion are invited
8 KB (963 words) - 15:28, 19 October 2022
Solutions - Biologically Inspired Computing - Robots as an Invasive Species - Embedded Systems - Artificial Intelligence: From Theory to Practice - Future Communications
6 KB (770 words) - 14:45, 19 October 2022
and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi;
6 KB (920 words) - 06:34, 1 December 2023
analytics Parallel and distributed file and storage systems Algorithms and theory for parallel and distributed systems Formal verification of distributed systems
4 KB (557 words) - 09:56, 17 October 2023
premiere networking forum for researchers in the highly active fields of theory, design and implementation of circuits and systems. This is accomplished
3 KB (441 words) - 07:55, 25 March 2024
- Privacy and anonymity technologies - Cryptographic protocol verifier - Theory and practice of game-hopping proof techniques - Secure hash functions -
4 KB (487 words) - 14:19, 19 October 2022
Informatics Interaction between Vehicles and the Environment Smart city theory, modeling and simulation Intelligent vehicle-to-infrastructure integration
6 KB (885 words) - 14:08, 19 October 2022
Algorithm engineering Algorithmic aspects of networks Algorithmic game theory Approximation algorithms Computational biology Computational finance Computational
2 KB (287 words) - 07:47, 6 June 2023
The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Topics of interest
5 KB (783 words) - 14:55, 19 October 2022
distributed systems, including theory, specification, design, performance, and system building. With a strong background in the theory of distributed systems,
8 KB (1,118 words) - 14:20, 19 October 2022
PERFORMANCE COMPUTING AND NETWORKING Broadband Networks Cloud Computing Cluster Computing Computer and Communications Networks Grid Computing Heterogeneous
13 KB (1,862 words) - 15:27, 19 October 2022
missing. The map might not show the exact location. WG 2009 aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied
3 KB (499 words) - 15:29, 19 October 2022
September 5th to September 9th 2016. all aspects of computing with constraints, including: theory, algorithms, environments, languages, models, systems
1 KB (221 words) - 13:05, 19 October 2022
Structural genomics - Proteomics - High performance computing applied to structural problems - Graph theory applied to structural problems - Optimization in
3 KB (524 words) - 14:45, 19 October 2022
systems real-time systems security issues in distributed computing and systems sensor networks: theory and practice specification and verification of distributed
2 KB (233 words) - 14:17, 19 October 2022
* Computational Learning Theory has contributions to make with their notions of Probably Approximately Correct (PAC) computing, and strategies for abstraction
7 KB (1,088 words) - 15:26, 19 October 2022
Network Survivability, Network Performance and QoS. Coding and Information Theory, Wireless Communications, Free Space and Fiber-Optic Communications, Radio-over-Fiber
4 KB (697 words) - 14:22, 19 October 2022
research. These include but are not limited to: * Science of Design and Design Theory * Philosophical foundations of Design Science * Evaluation of Design Science
5 KB (767 words) - 14:45, 19 October 2022
techniques, and formalisms are encouraged. LDTA is also a forum in which theory is put to the test, in many cases on real-world software engineering challenges
5 KB (834 words) - 11:51, 4 August 2023
Title International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing Event Series Event Series:MobiHoc
508 bytes (136 words) - 14:13, 19 October 2022
Special Interest Group on Hypertext, Hypermedia and Web, Association for Computing Machinery Metrics Submitted Papers 514 Accepted Papers 84 Organizer Organization
8 KB (1,217 words) - 08:59, 8 November 2022
Wireless mesh networks Wireless network architectures Wireless net. information theory Wireless propagation and channel Wireless switching and routing Wireless
2 KB (338 words) - 15:23, 19 October 2022
DXP 2009 Title First International Workshop on Distributed XML Processing: Theory and Practice Start Date 2009-09-22 End Date 2009-09-25 Status as scheduled
7 KB (1,106 words) - 14:46, 19 October 2022
organization Special Interest Group on Programming Languages, Association for Computing Machinery Metrics Submitted Papers 16 Accepted Papers 9 Organizer Organization
8 KB (1,212 words) - 10:12, 1 September 2023
organization Special Interest Group on Programming Languages, Association for Computing Machinery Metrics Submitted Papers 16 Accepted Papers 8 Organizer Organization
8 KB (1,241 words) - 10:17, 1 September 2023
provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Computer Science and Information Technology
4 KB (543 words) - 13:08, 19 October 2022
take place in Lille, France from 27th August 2018 to 31th August, 2018. theory,algorithms,environments, languages, models, systems, and applications such
1 KB (210 words) - 13:06, 19 October 2022
systems real-time systems security issues in distributed computing and systems sensor networks: theory and practice specification and verification of distributed
2 KB (318 words) - 14:17, 19 October 2022
properties of large dynamic communication networks Applications of percolation theory to the analysis of robustness in (interdependent) communication networks
6 KB (882 words) - 13:06, 19 October 2022
The conference will have original research and industrial papers on the theory, design and implementation of digital information systems, as well as demonstrations
4 KB (673 words) - 14:55, 19 October 2022
UMC 2008 Title The 2008 International Symposium on Ubiquitous Multimedia Computing Start Date 2008-10-14 End Date 2008-10-16 Status as scheduled Mode on site
4 KB (680 words) - 15:30, 19 October 2022
codes constructions, decoding methods and their complexity, information theory aspects, Kolmogorov complexity Track 3: Data Modeling and Analysis Track
5 KB (787 words) - 14:12, 19 October 2022
HCI HCI Case Studies HCI in Mobile, Ubiquitous, and Pervasive Computing Contexts HCI Theories, Methods, and Practice Intelligent Systems Interaction Design
3 KB (396 words) - 14:56, 19 October 2022
fixed-parameter tractability and kernelization results - parameterized complexity theory - parameterized (in)approximability results - relationships between parameterized
2 KB (365 words) - 10:01, 7 June 2023
not show the exact location. Call for Papers The conference will cover the theory and practice of application-specific systems, architectures and processors
2 KB (319 words) - 14:44, 19 October 2022
Enhancing Technologies * Privacy-Preserving Computing * Privacy Policies and Laws * Economics of Privacy * Privacy Theory and Engineering * Natural Disasters and
2 KB (307 words) - 20:43, 22 September 2022
of distributed systems security issues in distributed computing and systems sensor networks: theory and practice specification and verification of distributed
2 KB (346 words) - 14:17, 19 October 2022
systems real-time systems security issues in distributed computing and systems sensor networks: theory and practice specification and verification of distributed
2 KB (340 words) - 14:17, 19 October 2022
limited to): - trust models - components and dimensions of trust - game theory and trusting behaviors - trust and risk - trust, regret, and forgiveness
12 KB (1,720 words) - 15:28, 19 October 2022
submit full papers presenting new research related to the theory and/or practice of mobile computing and/or wireless and mobile networking at the link layer
7 KB (1,086 words) - 15:26, 19 October 2022
are invited in, but not limited to, the following topics: Algorithmic Game Theory Algorithmic Mechanism Design Auction Algorithms and Analysis Computational
3 KB (474 words) - 14:25, 19 October 2022
Software, Energy, Hybrid Computational Nanotechnology Game and Decision Theories, Planning Neurocomputers Parallel Computation Automation Systems and Control
3 KB (415 words) - 13:25, 18 October 2022
Algorithm engineering Algorithmic aspects of networks Algorithmic game theory Approximation algorithms Computational biology Computational finance Computational
3 KB (481 words) - 07:47, 6 June 2023
and design methods, plenary sessions on selected advanced aspects of the theory, design and applications of electronic systems, as well as tutorials given
3 KB (473 words) - 15:26, 19 October 2022
the exact location. This international event promotes all aspects of the theory and applications of computational intelligence, by hosting over 20 technical
3 KB (491 words) - 15:29, 19 October 2022
feature original research and industrial papers on the theory, design and implementation of computing technologies, as well as demonstrations, tutorials,
5 KB (781 words) - 15:20, 19 October 2022
Tools conference is to build bridges between these communities, bringing theory and practice together. Topics Topics include, but are not limited to: A
5 KB (729 words) - 15:29, 19 October 2022
a premium international forum for the dissemination of new mathematical theories and novel computational techniques for modeling, simulating, and processing
5 KB (796 words) - 15:29, 19 October 2022
disseminating research results and exchanging new ideas in relevant mathematical theory, representation and creation of digital models, geometric and solid modeling
5 KB (827 words) - 15:28, 19 October 2022
the theory, specification, design and implementation of distributed systems, which include: peer-to-peer systems, cluster and grid-based computing fault
2 KB (232 words) - 14:08, 18 October 2022
track is the seventh edition in the context of SAC and is concerned with the theory, implementation and evaluation of information access technologies to novel
4 KB (679 words) - 15:27, 19 October 2022
information systems and organisational systems; academics working in communication theory and device dependability; and healthcare workers interested in developing
6 KB (871 words) - 15:28, 19 October 2022
grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; Security in Information and Knowledge
9 KB (1,251 words) - 13:32, 19 October 2022
track is the eighth edition in the context of SAC and is concerned with the theory, implementation and evaluation of information access and retrieval technologies
7 KB (1,006 words) - 14:45, 19 October 2022
Special Track on Universally-Accessible Systems (ACM Symposium on Applied Computing) Start Date 2009-03-08 End Date 2009-03-12 Status as scheduled Mode on
6 KB (948 words) - 14:46, 19 October 2022
Intelligent Computing Methods and Techniques for Software Development Big data and Cloud Computing Distributed Computing and Cooperative Computing Artificial
5 KB (807 words) - 14:04, 19 October 2022
provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Computer Science, Engineering and Applications
5 KB (649 words) - 14:03, 19 October 2022
evolution Estimation of distribution algorithms Evolutionary computation theory Evolutionary programming Evolution strategies Genetic algorithms Genetic
3 KB (360 words) - 12:46, 9 May 2023
of structured data that scale to a very large size Computitional learning theory for the Web Meta-reasoning for the Web Complex reasoning: How to find implicit
3 KB (585 words) - 15:23, 19 October 2022
are invited in, but not limited to, the following topics: Algorithmic Game Theory Algorithmic Mechanism Design Auction Algorithms and Analysis Computational
2 KB (390 words) - 21:17, 22 September 2022
as well as invited papers, special sessions, workshops, and tutorials on theory and practice. Its drive is to convene a high quality, well-attended, and
16 KB (2,311 words) - 15:30, 19 October 2022
with the 18th International Symposium on High Performance Distributed Computing (HPDC-18), in Munich, Germany. A new era of large scale, distributed applications
3 KB (404 words) - 14:45, 19 October 2022
Software Science and Computation Structure (FOSSACS) 2012 Automata and language theory; Behavioural equivalences; Categorical models; Infinite state systems; Modal
5 KB (658 words) - 06:32, 1 December 2023
Software Science and Computation Structure (FOSSACS) 2013 Automata and language theory; Behavioural equivalences; Categorical models; Infinite state systems; Modal
4 KB (657 words) - 06:32, 1 December 2023
scheduled Mode on site City Barcelona Country Spain (ES) Academic Field Mobile Computing Official Website http://www.mlearning-conf.org Deadlines 2008-11-17 2008-12-15
6 KB (903 words) - 14:55, 19 October 2022
significantly been advanced, for example, with parameterized complexity theory, something that has been recently applied in cognitive science. The above
5 KB (788 words) - 14:18, 19 October 2022
The program committee is soliciting original research contributions to the theory, specifications, design and implementation of distributed systems, including:
3 KB (373 words) - 14:18, 19 October 2022
scenarios, we strongly encourage authors to submit work that has moved beyond theory and has been deployed and tested. Accepted papers will be available to participants
6 KB (942 words) - 15:30, 19 October 2022
forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes
5 KB (751 words) - 15:30, 19 October 2022
disseminating research results and exchanging new ideas in relevant mathematical theory, representation and creation of digital models, geometric and solid modeling
6 KB (858 words) - 15:30, 19 October 2022
NSS 2009 (category Distributed computing) Security Simulation and Tools * Security Theory and Tools * Standards and Assurance Methods * Trusted Computing * Viruses, Worms, and Other Malicious Code
12 KB (1,784 words) - 15:27, 19 October 2022
spectrum sensing, spectrum sharing) * Model and performance evaluation * Game theory in cognitive radio * Standards, e.g. IEEE 802.22 * Regulation and business
3 KB (554 words) - 15:22, 19 October 2022
cooperative web design such as Wiki's �?� Other cooperative applications Basic theories, methods and technologies that support CDVE (BT) �?� Distributed systems
4 KB (569 words) - 09:53, 14 March 2023
partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2009
4 KB (585 words) - 15:27, 19 October 2022
process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile computing. The four conferences of ETAPS
5 KB (697 words) - 07:16, 18 October 2023
CATA-2009 will feature contributed as well as invited papers concerned with theory, practice and applications. The conference also includes a BEST PAPER AWARD
3 KB (439 words) - 14:44, 19 October 2022
Fréchet distance with hard computational complexity, but superior quality in theory and practice. The Fréchet distance is defined as the minimal length of a
4 KB (668 words) - 13:34, 19 October 2022
programming techniques FPGA design security Interactions between cryptographic theory and implementation issues: New and emerging cryptographic algorithms and
3 KB (422 words) - 10:22, 14 June 2023
Mining Evolutionary computing, Bayesian and Neural Networks Pre-processing, Dimension Reduction and Feature Selection Decision/Utility Theory and Decision Optimization
2 KB (259 words) - 09:30, 7 July 2023
Virtual Reality Systems Information Infrastructure and Security Communication Theory Multiple Access Techniques Signal Processing and Coding Computer Methods
2 KB (262 words) - 14:24, 19 October 2022
Virtual Reality Systems Information Infrastructure and Security Communication Theory Multiple Access Techniques Signal Processing and Coding Computer Methods
2 KB (263 words) - 14:24, 19 October 2022
process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile computing. The four conferences of ETAPS
5 KB (707 words) - 09:30, 30 August 2023
and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile languages. ETAPS conferences
4 KB (569 words) - 07:42, 18 October 2023
as well as invited papers, special sessions, workshops, and tutorials on theory and practice. SIN 2010 will feature the following keynote papers and talks:
10 KB (1,408 words) - 15:29, 19 October 2022
autonomic/organic computing (AC/OC) and trusted computing (TC). Topics include but are not limited to the following: - AC/OC Theory and Model: Models,
9 KB (1,323 words) - 14:45, 19 October 2022
are invited in, but not limited to, the following topics: Algorithmic Game Theory Algorithmic Mechanism Design Auction Algorithms and Analysis Computational
5 KB (674 words) - 14:26, 19 October 2022
assessment approaches for CPS privacy in CPS network security for CPS game theory applied to CPS security security of embedded systems, IoT and real-time
4 KB (688 words) - 13:06, 19 October 2022
topics of interest include (but are not limited to): * Parallel programming theory and models * Formal analysis and verification * Parallel programming languages
4 KB (609 words) - 14:19, 19 October 2022
and visionary papers, presenting research work related to the practice and theory of �??High-capacity Optical Networks & Enabling Technologies�??. All submissions
4 KB (655 words) - 13:31, 19 October 2022
Databases (BNCOD) was established in 1980 as a forum for research into the theory and practice of databases and, since then, BNCOD has attracted an international
4 KB (700 words) - 14:45, 19 October 2022
Databases (BNCOD) was established in 1980 as a forum for research into the theory and practice of databases and, since then, BNCOD has attracted an international
4 KB (683 words) - 14:45, 19 October 2022
and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile languages.
2 KB (269 words) - 08:06, 18 October 2023
exact location. The conference covers theory, design and application of computer networks and distributed computing and information systems. Aside from the
1 KB (223 words) - 13:01, 19 October 2022
information assurance, security, compliance Semantic cloud computing, edge computing, fog computing Semantic Web applications and tools for, e.g., biomedical
7 KB (922 words) - 14:20, 19 October 2022
engaged both in theoretical and practical aspects of Soft Computing in Data Science. The focus is theory and applications of Data Science and Big Data Analytics
4 KB (666 words) - 14:18, 19 October 2022
for Novel Features and Feature Selection High-Performance Deep Learning (Theories and Infrastructures) Spatio-Temporal Data Mining Content Understanding
5 KB (792 words) - 14:13, 19 October 2022
limited to the following list: (1) Fundamentals and Technologies + Concepts, theory, principles, standardization and modelling, and methodologies for dependability
12 KB (1,630 words) - 13:06, 19 October 2022
scheduled Mode on site City Barcelona Country Spain (ES) Academic Field Mobile Computing Official Website http://www.mlearning-conf.org Deadlines 2008-11-17 2008-12-15
5 KB (813 words) - 15:27, 19 October 2022
content. Recently, various intelligent computing techniques are invented, such as neural networks, fuzzy theory, evolutionary algorithm, and machine learning
5 KB (830 words) - 14:12, 19 October 2022
to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, sociology, biology, etc.) to find new ways of
7 KB (1,118 words) - 14:19, 19 October 2022
Methodological Contributions to Design Science Research: Science of Design and Design Theory Design Processes and Principles of Design Modularity and Rules in Design
2 KB (323 words) - 13:08, 19 October 2022
related to any of dependability aspects in data warehousing and mining, theory, systems and applications are of interest. These include, but are not limited
7 KB (1,004 words) - 14:45, 19 October 2022
solving Task and resource allocation Mechanism design, auctions, and game theory Modelling other agents and self Multi-agent planning Negotiation protocols
6 KB (781 words) - 15:23, 19 October 2022
Software, Energy, Hybrid Computational Nanotechnology Game and Decision Theories, Planning Neurocomputers Parallel Computation Automation Systems and Control
3 KB (420 words) - 12:58, 19 October 2022
possibilities theory Soft computing methods: Ambient intelligence Bayesian networks Bio-inspired optimization Computational intelligence Cyber computing Evolutionary
4 KB (527 words) - 14:09, 19 October 2022
resilience should be explicitly included into traditional software engineering theories and practices and should become an integral part of all steps of software
9 KB (1,253 words) - 15:27, 19 October 2022
and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile languages. ETAPS conferences
4 KB (550 words) - 08:04, 18 October 2023
and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile languages. ETAPS conferences
5 KB (678 words) - 07:50, 18 October 2023
and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile languages. ETAPS conferences
5 KB (662 words) - 07:24, 18 October 2023
are invited in, but not limited to, the following topics: Algorithmic Game Theory Algorithmic Mechanism Design Auction Algorithms and Analysis Computational
3 KB (432 words) - 14:26, 19 October 2022
quality assurance Software refactoring and restructuring Software testing theory and practice Source code analysis and manipulation General Chairs Jonathan
3 KB (453 words) - 11:06, 27 October 2023
Business Analytics and Knowledge Management Business Process Management Cloud Computing Services Social Media Research and Analytics Economics and Value of IS
4 KB (570 words) - 07:54, 7 August 2023
explicit representation of the semantics of data, enriched with domain theories (ontologies), will enable a web that provides a qualitatively new level
15 KB (1,738 words) - 10:31, 21 March 2023
limited to the following list: (1) Fundamentals and Technologies + Concepts, theory, principles, standardization and modelling, and methodologies for dependability
12 KB (1,614 words) - 13:07, 19 October 2022
The conference will feature original research and industrial papers on the theory, design and implementation of digital information systems, as well as demonstrations
4 KB (658 words) - 14:56, 19 October 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
