Category:Theory of computation

From Openresearch

Theory of computation

Revision as of 13:00, 20 February 2020 by Soeren (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

Theory of computation
Editor:	Become editor of this category
Tweets in theory-of-computation

Top conference series

Acronym	Title	CORE2017	Avg. acc. rate
FOCS	IEEE Symposium on Foundations of Computer Science		27.7
ATVA	International Symposium on Automated Technology for Verification and Analysis	A	34.9
LATIN	International Symposium on Latin American Theoretical Informatics	B	39.4
Coordination	International Conference on Coordination Models and Languages	B	53.1
DLT	Developments in Language Theory		56.6
LFCS	Logical Foundations of Computer Science		79.4

Upcoming conferences

Acronym	Name	City	Country	Submissions due	Start	End
SAGT 2020	13th Symposium on Algorithmic Game Theory	Augsburg	Germany	May 19	Sep 16	Sep 18
ICCS 2020	25th International Conference on Conceptual Structures	Bolzano	Italy	Jan 26	Sep 18	Sep 21
TAMC 2020	The 16th Annual Conference on Theory and Applications of Models of Computation	Changsha	China	Dec 15	Oct 18	Oct 20
ATVA 2020	18th International Symposium on Automated Technology for Verification and Analysis	Hanoi	Vietnam	May 3	Oct 19	Oct 23
FOCS 2020	IEEE Symposium on Foundations of Computer Science	Durham	USA		Nov 16	Nov 19
FSTTCS 2020	40th conference on Foundations of Software Technology and Theoretical Computer Science	Goa	India	Jul 17	Dec 14	Dec 18
PATAT 2021	13th International Conference on the Practice and Theory of Automated Timetabling	Bruges	Belgium		Aug 24	Aug 27

Conferences [Cal. 2016]

SAGT 2020 (Augsburg, 16 September 2020)
ICCS 2020 (Bolzano, 18 September 2020)
TAMC 2020 (Changsha, 18 October 2020)
ATVA 2020 (Hanoi, 19 October 2020)
FSTTCS 2020 (Goa, 14 December 2020)

The part " more …

Event Series

FOCS, ATVA, LATIN, Coordination, DLT, LFCS more …

Fora

The part "" of the query was not understood. Results might not be as expected.
Some use of "" in your query was not closed by a matching "".

The part "" of the query was not understood. Results might not be as expected.
Some use of "" in your query was not closed by a matching "".

Organizations

The part "" of the query was not understood. Results might not be as expected.
Some use of "" in your query was not closed by a matching "".

The part "" of the query was not understood. Results might not be as expected.
Some use of "" in your query was not closed by a matching "".

Publication Calls

The part "[[" of the query was not understood. Results might not be as expected.
The symbol "[[" was used in a place where it is not useful.

Subcategories

This category has the following 4 subcategories, out of 4 total.

A

► Automata theory‎ (empty)

C

► Computability theory‎ (20 P)
► Computational complexity theory‎ (2 P)
► Concurrency theory‎ (empty)

Pages in category "Theory of computation"

The following 73 pages are in this category, out of 73 total.

A

C

D

I

L

P

S

T

Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=Category:Theory_of_computation&oldid=217942"

Computer science