posted by user: gauwin || 7810 views || tracked by 20 users: [display]

MFCS 2010 : 35th International Symposium on Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Mathematical Foundations of Computer Science
 
Link: http://mfcsl2010.fi.muni.cz/mfcs
 
When Aug 23, 2010 - Aug 27, 2010
Where Brno, Czech Republic
Abstract Registration Due Apr 10, 2010
Submission Deadline Apr 15, 2010
Notification Due May 28, 2010
Final Version Due Jun 14, 2010
Categories    mathematics   computer science   logic   computation theory
 

Call For Papers

MFCS Symposia

The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established tradition. The 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.

The 35th International Symposiums on Mathematical Foundations of Computer Science (MFCS 2010) is organized in parallel with the 19th EACSL Annual Conferences on Computer Science Logic (CSL 2010) at the same place. There will be common plenary sessions and social events, but the technical program and the proceedings are prepared independently.

The federated MFCS & CSL 2010 conference is accompanied by several satellite workshops on more specialized topics.


Principal topics of interest

algorithmic game theory, algorithmic learning theory, algorithms and data structures (incl. sequential, parallel, distributed, approximation, graph, network, on-line, 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.


Programme Committee

Luca Aceto (Reykjavik), Jiří Adámek (Braunschweig), Christel Baier (Dresden), Patricia Bouyer-Decitre (Cachan), Sergio Cabello (Ljubljana), Witold Charatonik (Wroclaw), Jurek Czyzowicz (Quebec), Volker Diekert (Stuttgart), Rod Downey (Wellington), Fedor Fomin (Bergen), Gregory Gutin (London), Michel Habib (LIAFA), Edward A. Hirsch (St. Petersburg), Petr Hliněný (Brno (co-chair)), Juraj Hromkovič (Zurich), Juhani Karhumäki (Turku), Ken-ichi Kawarabayashi (Tokyo), Petr Kolman (Prague), Daniel Král (Prague), Rastislav Královič (Bratislava), Antonín Kučera (Brno (co-chair)), Luděk Kučera (Prague), Madhavan Mukund (Chennai), Jean-Eric Pin (Paris), Alexander Rabinovich (Tel Aviv), Peter Rossmanith (Aachen), Davide Sangiorgi (Bologna), Vladimiro Sassone (Southampton), Helmut Seidl (Munich), Jiří Sgall (Prague), Daniel Štefankovič (Rochester), Colin Stirling (Edinburgh), Stefan Szeider (Vienna), Andrzej Tarlecki (Warsaw), Wolfgang Thomas (Aachen), Pawel Urzyczyn (Warsaw), Sue Whitesides (Victoria), James Worrell (Oxford), Shmuel Zaks (Haifa)


Submission Instructions

Submissions to MFCS must not exceed 12 pages (in Springer-Verlag’s Lecture Notes style). 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. Detailed information about the submission procedure will be available on the conference web page in due time. The proceedings will be published in Lecture Notes in Computer Science by Springer-Verlag.


Deadlines

Abstract submission: April 10, 2010
Full paper submission: April 15, 2010
Notification: May 28, 2010
Final version: June 14, 2010


Contact

* Questions about the MFCS 2010 program should be sent to Petr Hliněný and Antonín Kučera (MFCS 2010 PC chairs).
* General questions regarding organization, registration, accomodation, etc., should be sent to the MFCS & CSL 2010 organizing committee (mfcsl2010@fi.muni.cz)

Related Resources

MFCS 2020   The 45th International Symposium on Mathematical Foundations of Computer Science
AVC 2020   Advances in Vision Computing: An International Journal
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
IEEE-CVIV 2020-Ei/Scopus 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
CCVPR 2020   2020 3rd International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2020)
JSE 2020   9th International Conference on Software Engineering and Applications