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