Saturday, May 7, 2011

SOFSEM 2012


                        SOFSEM 2012

        38th International Conference on Current Trends
            in Theory and Practice of Computer Science
                      January 21-27, 2012
               Orea Hotel HORAL (Spindleruv Mlyn)
                        Czech Republic
                http://www.sofsem.cz/



 Dear Sofsemists,
        dear Colleagues and Friends,

 It is our great pleasure to invite you to submit a paper to one of the four
 SOFSEM 2012 tracks:

      * FOUNDATIONS of COMPUTER SCIENCE
      * SOFTWARE and WEB ENGINEERING
      * CRYPTOGRAPHY, SECURITY and VERIFICATION
      * ARTICIAL INTELLIGENCE;

 with extended support for student papers in the traditional

        * STUDENT RESEARCH FORUM.


 We would especially like to attract your attention to the

 SPECIAL EVENT: SESSION on TURING MACHINES.

 In memory of Alan Turing, whose 100th anniversary is celebrated in 2012,
 SOSFEM 2012 will host a session on Turing machines.
 The session will consist of invited and contributed talks on Turing
 machines
 as the basic model of computability and complexity, and reporting new
 developments related to models inspired by, for example, biology and
 physics.
 SOFSEM 2012 is among the official Centenary Events of The Alan Turing
 year (for more details see http://www.turingcentenary.eu/)


 We hope that you find the SOFSEM 2012 tracks and topics interesting. For
 details see

 http://www.sofsem.cz/sofsem12/index.php?page=call

 We also hope that by submitting your paper to the SOFSEM 2012 conference
 you will help to contribute to yet another successful SOFSEM conference.


 Important dates:
 Abstracts deadline:                     June 15, 2011
 Full papers deadline:                   June 22, 2011
 Acceptance notification:                September 21, 2011
 Camera-ready papers:                    October 5, 2011
 Early registration deadline:            November 7, 2011
 Conference:                             January 21-27, 2012

 ******************

 As usual at SOFSEM, a distinguished feature of SOFSEM 2012 will be the
 high number of Invited Speakers. The current list of invited speakers:

 * Foundations of Computer Science Track:

 - Giuseppe F. Italiano (University of Rome "Tor Vergata", Italy)
 [Title to be announced]

 SPECIAL EVENT: SESSION on TURING MACHINES.
 - Peter van Emde Boas (University of Amsterdam, The Netherlands)
 Turing Machines for Dummies

 - Yuri Gurevich (Microsoft Research, USA)
 What's an Algorithm?

 - Jiri Wiedermann (Institute of Computer Science, Academy of Sciences,
 Czech Republic)
 [Title to be announced]


 * Software& Web Engineering Track:

 - Paul De Bra (Eindhoven University of Technology, the Netherlands) A
 Fully Generic Approach for Realizing the Adaptive Web

 - Pavel Zezula (Masaryk University in Brno, Czech Republic)
 Multi Feature Indexing Network (MUFIN) - Similarity Search Platform for
 many
 Applications


 * Cryptography, Security, and Verification Track:

 - Orna Kupferman (Hebrew University in Jerusalem, Israel)
 Recent Challenges and Ideas in Temporal Synthesis

 - Krzysztof Pietrzak (Cryptology Research Group, CWI Amsterdam, The
 Netherlands)
  Efficient Cryptography from Hard Learning Problems


 * Artificial Intelligence

 - Kevin Warwick (University of Reading, United Kingdom)
 Not Another Look at the Turing Test!

 - Roberto Navigli (Sapienza University of Rome, Italy)
 Don't Take Shortcuts! Computational Lexical Semantics and The Turing Test

 ******************

 Location, venue and leisure activities of SOFSEM 2012 are presented at:
 http://www.sofsem.cz/sofsem12/index.php?page=location
 http://www.sofsem.cz/sofsem12/index.php?page=leisure


 As the SOFSEM 2012 organization will progress, the conference website will
 be regularly updated to inform you about important news.


 We are looking forward to your submissions.

 Please do not hesitate to contact us in case you have any questions.


 On behalf of all SOFSEM 2012 organizers,

 Georg Gottlob (Program Committee Chair)
 Julius Stuller (Steering Committee Chair)