posted by user: gauwin || 7962 views || tracked by 16 users: [display]

MFCS 2011 : 36th International Symposium on Mathematical Foundations of Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Mathematical Foundations of Computer Science
 
Link: http://mfcs.mimuw.edu.pl/
 
When Aug 22, 2011 - Aug 26, 2011
Where Warsaw, Poland
Submission Deadline Apr 15, 2011
Notification Due May 30, 2011
Final Version Due Jun 13, 2011
Categories    theoretical computer science   logic   computation theory   mathematics
 

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.
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

Andreas Abel, Ludwig-Maximilians-University Munich; Aris Anagnostopoulos, Sapienza University of Rome; Andris Ambainis, University of Latvia; Vince Barany, University of Warsaw; Henrik Björklund, Umeå University; Tomas Brazdil, Masaryk University; Alessandra Carbone, Université Pierre et Marie Curie; Anuj Dawar, University of Cambridge; Stephane Demri, CNRS; Xiaotie Deng, University of Liverpool; Naveen Garg, IIT Dehli; Fabrizio Grandoni, Tor Vergata University of Rome; Bartek Klin, University of Warsaw / University of Cambridge; Łukasz Kowalik, University of Warsaw; Leonid Libkin, University of Edinburgh; Christof Löding, RWTH Aachen; Daniel Lokshtanov, UCSD; Jerzy Marcinkowski, University of Wrocław; Jiri Matousek, Charles University; Vahab S. Mirrokni, Google Research, New York; Filip Murlak, University of Warsaw (co-chair); Paulo Oliva, Queen Mary University of London; Krzysztof Onak, CMU; Seth Pettie, University of Michigan; Krszysztof Pietrzak, CWI; Harald Raecke, University of Warwick; Liam Roditty, Bar-Ilan University; Jacques Sakarovitch, CNRS / Telecom ParisTech; Piotr Sankowski, University of Warsaw (co-chair); Rahul Savani, University of Liverpool; Christian Scheideler, University of Paderborn; Mohit Singh, McGill University; Thomas Wilke, Kiel University; Ryan Williams, IBM Almaden; Ronald de Wolf, CWI
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 the new ARCoSS subline of Lecture Notes in Computer Science by Springer-Verlag.
Deadlines

Full paper submission: April 15, 2010
Notification: May 30, 2010
Final version: June 13, 2010

Related Resources

MFCS 2020   The 45th International Symposium on Mathematical Foundations of Computer Science
MathSJ 2020   Applied Mathematics and Sciences: An International Journal
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
ACM--ICMAI--EI and Scopus 2021   ACM--2021 6th International Conference on Mathematics and Artificial Intelligence (ICMAI 2021)--Ei Compendex, Scopus
ICRE--EI Compendex, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
6th ICSTR London September 2021   6th ICSTR London – International Conference on Science & Technology Research, 09-10 September 2021
SMC 2020   4th International Conference on Soft Computing, Mathematics and Control
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education