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: Ishihara H., Mahanti P., Salomaa A.)
F.0
Topic F.0 - GENERAL
(Referees: Al-Rabadi A., Brattka V., Weihrauch K.)
F.1
Topic F.1 - COMPUTATION BY ABSTRACT DEVICES
(Referees: Al-Rabadi A., Antoniou I., Baier C., Banach R., Biehl I., Brattka V., Calude C., Hartmanis J., Hemaspaandra E., Hemaspaandra L. A., Homer S., Leberl F., Regan K., Rothe J., Rovan B., van der Merwe B., Weihrauch K., Wu G.-C., Yasugi M., Zimand M.)
F.1.0
Topic F.1.0 - General
(Referees: Wolff J.)
F.1.1
Topic F.1.1 - Models of Computation
(Referees: Bergstra J., Bridges D. S., Domaratzki M., Gumm H., Hagiya M., Jakóbczak D., Kak S., Karhumäki J., Kritz M. V., Margenstern M., Mazurkiewicz A., Ruohonen K., Schmidt K., Staiger L., van Zijl L., Vollmar R., Wolff J.)
F.1.2
Topic F.1.2 - Modes of Computation
(Referees: Dembinski P., Karhumäki J., Paz A., Ruohonen K., Silva F.)
F.1.3
Topic F.1.3 - Complexity Measures and Classes
(Referees: Bridges D. S., Paz A., Torenvliet L.)
F.1.m
Topic F.1.m - Miscellaneous
F.2
Topic F.2 - ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
(Referees: Al-Rabadi A., Antoniou I., Biehl I., Brattka V., Bridges D. S., Calude C., Krumke S., Liu J., Martínez C., Nagar A., Odlyzko A. M., Ottmann T., Pelusi D., Prodinger H., Seidel R., Trobec R., Ukkonen E., Welzl E., Widmayer P., Wood D., Wu G.-C., Yasugi M.)
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., Datta A., de Figueiredo L., Hemaspaandra E., Jakóbczak D., Kratsch D., Martínez C., Mazurkiewicz A., Pantziou G., Pethő A., Regan K., Rothe J., Torenvliet L., Zachariasen M., Zimand M.)
F.2.3
Topic F.2.3 - Tradeoffs between Complexity Measures
(Referees: Hartmanis J., Hemaspaandra L. A., Paz A., Regan K., Rothe J.)
F.2.m
Topic F.2.m - Miscellaneous
F.3
Topic F.3 - LOGICS AND MEANINGS OF PROGRAMS
(Referees: Al-Rabadi A., Antoniou I., Baier C., Banach R., Gumm H., Jones C. B., Liu J., Nait-Abdallah A., Schmitt P. H., 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., Hagiya M., Kapus-Kolar M., Maluszynski J., Núñez M., Rodriguez I., Schmidt K., Uustalu T.)
F.3.2
Topic F.3.2 - Semantics of Programming Languages
(Referees: Andreoli J.-M., Börger E., Bravetti M., Hagiya M., Kalinichenko L., Longo G., Loogen R., Maluszynski J., Porto A., Rodriguez I., Uustalu T.)
F.3.3
Topic F.3.3 - Studies of Program Constructs
(Referees: Porto A.)
F.3.m
Topic F.3.m - Miscellaneous
F.4
Topic F.4 - MATHEMATICAL LOGIC AND FORMAL LANGUAGES
(Referees: Al-Rabadi A., Antoniou I., Baier C., Banach R., Jürgensen H., Liu J., Regan K., Rozenberg G., Salomaa A., Velev M. N., Wood D.)
F.4.0
Topic F.4.0 - General
F.4.1
Topic F.4.1 - Mathematical Logic
(Referees: Aiello L. C., Andreoli J.-M., Bridges D. S., Domaratzki M., Gumm H., Hagiya M., Hartmanis J., Hemaspaandra E., Hemaspaandra L. A., Homer S., Ito M., Karhumäki J., Longo G., Margenstern M., Paz A., Porto A., Schmitt P. H., Tabakow I., Uustalu T., Yasugi M., Zimand M.)
F.4.2
Topic F.4.2 - Grammars and Other Rewriting Systems
(Referees: Andreoli J.-M., Ito M., Karhumäki J., Maluszynski J., Mitrana V., Nedjah N., Rovan B., Ruohonen K., van der Merwe B.)
F.4.3
Topic F.4.3 - Formal Languages
(Referees: Domaratzki M., Mitrana V., Núñez M., Rodriguez I., Rovan B., Ruohonen K., Staiger L., Sveda M., van der Merwe B.)
F.4.m
Topic F.4.m - Miscellaneous
F.m
Topic F.m - MISCELLANEOUS
(Referees: Al-Rabadi A., Yasugi M.)