Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
A. | B. | C. | D. | E. | G. | H. | I. | J. | K. | L. | M.
F.

Topic F. - Theory of Computation

(Referees: Mahanti P.)
F.0
Topic F.0 - GENERAL
(Referees: Brattka V., Weihrauch K.)
F.1
Topic F.1 - COMPUTATION BY ABSTRACT DEVICES
(Referees: Baier C., Banach R., Biehl I., Brattka V., Calude C., Hemaspaandra E., Hemaspaandra L. A., Homer S., Regan K., Rothe J., van der Merwe B., Weihrauch K., Wu G.-C., Zimand M.)
F.1.0
Topic F.1.0 - General
F.1.1
Topic F.1.1 - Models of Computation
(Referees: Bergstra J., Jakóbczak D., Karhumäki J., Kritz M. V., Margenstern M., Staiger L., van Zijl L., Vollmar R.)
F.1.2
Topic F.1.2 - Modes of Computation
(Referees: Karhumäki J., Silva F.)
F.1.3
Topic F.1.3 - Complexity Measures and Classes
F.1.m
Topic F.1.m - Miscellaneous
F.2
Topic F.2 - ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
(Referees: Biehl I., Brattka V., Calude C., Martínez C., Paredes M., Pelusi D., Trobec R., Ukkonen E., Welzl E., Wood D., Wu G.-C.)
F.2.0
Topic F.2.0 - General
F.2.1
Topic F.2.1 - Numerical Algorithms and Problems
(Referees: de Moura C., Weihrauch K.)
F.2.2
Topic F.2.2 - Nonnumerical Algorithms and Problems
(Referees: Buchberger B., de Figueiredo L., Hemaspaandra E., Jakóbczak D., Martínez C., Pantziou G., Regan K., Rothe J., Zachariasen M., Zimand M.)
F.2.3
Topic F.2.3 - Tradeoffs between Complexity Measures
(Referees: Hemaspaandra L. A., Regan K., Rothe J.)
F.2.m
Topic F.2.m - Miscellaneous
F.3
Topic F.3 - LOGICS AND MEANINGS OF PROGRAMS
(Referees: Baier C., Banach R., Jones C. B., Schreiner W., Wotawa F.)
F.3.0
Topic F.3.0 - General
(Referees: Börger E., Dreher H.)
F.3.1
Topic F.3.1 - Specifying and Verifying and Reasoning about Programs
(Referees: Andreoli J.-M., Börger E., Bravetti M., Dreher H., Kapus-Kolar M., Núñez M., Rodriguez I., Uustalu T.)
F.3.2
Topic F.3.2 - Semantics of Programming Languages
(Referees: Andreoli J.-M., Börger E., Bravetti M., Rodriguez I., Uustalu T.)
F.3.3
Topic F.3.3 - Studies of Program Constructs
F.3.m
Topic F.3.m - Miscellaneous
F.4
Topic F.4 - MATHEMATICAL LOGIC AND FORMAL LANGUAGES
(Referees: Baier C., Banach R., Regan K., Rozenberg G., Wood D.)
F.4.0
Topic F.4.0 - General
F.4.1
Topic F.4.1 - Mathematical Logic
(Referees: Andreoli J.-M., Hemaspaandra E., Hemaspaandra L. A., Homer S., Karhumäki J., Margenstern M., Uustalu T., Zimand M.)
F.4.2
Topic F.4.2 - Grammars and Other Rewriting Systems
(Referees: Andreoli J.-M., Karhumäki J., Nedjah N., van der Merwe B.)
F.4.3
Topic F.4.3 - Formal Languages
(Referees: Nardone R., Núñez M., Rodriguez I., Staiger L., van der Merwe B.)
F.4.m
Topic F.4.m - Miscellaneous
F.m
Topic F.m - MISCELLANEOUS