posted by user: hossein_haeri || 6900 views || tracked by 12 users: [display]

MFCS 2013 : 38 International Symposium on Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Mathematical Foundations of Computer Science
 
Link: http://ist.ac.at/mfcs13/index.html
 
When Aug 26, 2013 - Aug 30, 2013
Where Klosterneuburg, Austria
Submission Deadline Apr 19, 2013
Notification Due Jun 4, 2013
Final Version Due Jun 16, 2013
Categories    theoretical computer science
 

Call For Papers

The series of MFCS symposia, organized since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together researchers who do not usually meet at specialized conferences. Quality papers presenting original research on theoretical aspects of computer science are solicited.

Topics of interest

Principal topics of interest include (but are not limited to):
algorithmic game theory,
algorithmic learning theory,
algorithms and data structures (incl. sequential, parallel, distributed, approximation, graph, network, on-line, parameterized, optimization),
automata, grammars and formal languages,
bioinformatics,
complexity (structural and computational),
computational geometry,
computer-assisted reasoning,
concurrency theory,
cryptography and security,
databases and knowledge-based systems,
formal specifications and program development,
foundations of computing,
logic in computer science,
mobile computing,
models of computation,
networks (incl. wireless, sensor, ad-hoc),
parallel and distributed computing,
quantum computing,
semantics and verification of programs,
theoretical issues in artificial intelligence


Invited speakers
Sam Buss (UC San Diego)
Leah Epstein (U. Haifa)
Jean Goubault-Larrecq (ENS-Cachan)
Martin Grohe (Humboldt U. Berlin)
Elias Koutsoupias (U. Athens)
Nir Piterman (U. Leicester)


Program Committee
Parosh Abdulla (Uppsala U., Sweden)
Eli Ben-Sasson (Technion, Israel)
Nathalie Bertrand (INRIA Rennes, France)
Markus Bläser (U. des Saarlandes, Germany)
Tomáš Brázdil (Masaryk U., Czech Republic)
Ioannis Caragiannis (U. Patras, Greece)
Krishnendu Chatterjee (IST Austria, Austria - Chair)
Thomas Colcombet (LIAFA-CNRS, France)
Anuj Dawar (U. Cambridge, UK)
Giorgio Delzanno (U. Genova, Italy)
Martin Dietzfelbinger (TU Ilmenau, Germany)
Krzysztof Diks (U. Warsaw, Poland)
Zoltan Esik (U. Szeged, Hungary)
Sándor Fekete (TU Braunschweig, Germany)
Eldar Fischer (Technion, Israel)
Dmitry Gavinsky (NEC Labs, Princeton, USA)
Andrew Goldberg (Microsoft Research, USA)
Kristoffer Arnsfelt Hansen (Aarhus U., Denmark)
Tao Jiang (UC Riverside, USA)
Barbara König (U. Duisburg-Essen (UDE), Germany)
Pascal Koiran (Ecole Normale Supérieure de Lyon, France)
Rastislav Královič (Comenius U., Slovakia)
Erik Jan van Leeuwen (MPI, Saarbrücken, Germany)
Stefano Leonardi (Sapienza U. Rome, Italy)
Christof Löding (RWTH Aachen U., Germany)
Zvi Lotker (Ben Gurion U., Israel)
Jerzy Marcinkowski (U.Wrocław, Poland)
Dániel Marx (Hungarian Academy of Sciences, Hungary)
Peter Bro Miltersen (Aarhus U., Denmark)
Madhavan Mukund (CMI, India)
Rasmus Pagh (IT U. Copenhagen, Denmark)
Madhusudan Parthasarathy (UI Urbana-Champaign, USA)
Daniel Paulusma (Durham U., UK)
Holger Petersen (msg systems ag, Germany)
Alex Rabinovich (Tel Aviv U., Israel)
Rahul Santhanam (U. Edinburgh, UK)
Jiří Sgall (Charles U., Czech Republic - Chair)
Martin J. Strauss (U. Michigan, USA)
Ola Svensson (EPFL, Switzerland)
Maxim Sviridenko (U. Warwick, UK)
Pavel Valtr (Charles U., Czech Republic)
Peter Widmayer (ETH, Switzerland)
Gerhard Woeginger (Eindhoven U. Technology, Netherlands)
James Worrell (U. Oxford, UK)



Important datesPaper submission deadline
April 19, 2013 AOE
Author notification
June 4, 2013 AOE
Camera-ready deadline
June 16, 2013 AOE
Conference
August 26-30, 2013


Instructions

Submissions to MFCS must not exceed 12 pages (in Springer-Verlag's Lecture Notes style and including bibliography). If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to any other conference with published proceedings or submitting previously published papers is not allowed. Only electronic submissions in the PDF format are accepted. Information about the submission procedure will be available on the conference web page in due time. The proceedings will be published in the new ARCoSS subline of Lecture Notes in Computer Science by Springer-Verlag.

Please submit via EasyChair.

Contact
Mail: MFCS 2013, IST Austria, Am Campus 1, 3400 Klosterneuburg, Austria
E-mail: mfcs2013@ist.ac.at


The conference is organized by IST Austria in cooperation with EATCS.

Related Resources

IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
IJRAP 2024   International Journal of Recent advances in Physics
MFCS 2024   Mathematical Foundations of Computer Science
CS&SE@SW 2024   7th Workshop for Young Scientists in Computer Science & Software Engineering
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
ISCSIC 2025   2025 9th International Symposium on Computer Science and Intelligent Control(ISCSIC 2025)
SPIE-Ei/Scopus-CMLDS 2025   2025 2nd International Conference on Computing, Machine Learning and Data Science (CMLDS 2025) -EI Compendex & Scopus