2nd CALL for POSTERS

                          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 POSTER for any topic
of the four SOFSEM 2012 tracks:

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

All accepted posters (after registration and payment) will be included
and published in SOFSEM 2012 local proceedings.

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.
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 - for details see

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

interesting,
and that by submitting your poster to the SOFSEM 2012 conference you will
help to contribute to yet another succesfull SOFSEM. 

Instructions for poster submission are at:
http://www.sofsem.cz/sofsem12/index.php?page=posters.

Important dates:
Deadline:                             	November 21, 2011
Acceptance notification:              November 30, 2011
Camera-ready posters:                 December 6, 2011
Conference:                           	January 21-27, 2012

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

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

* Foundations of Computer Science Track:

- Yuri Gurevich (University of Michigan and Microsoft Research, USA) 
What's an Algorithm?

- Giuseppe F. Italiano (University of Rome "Tor Vergata", Italy) 
Strong Bridges and Strong Articulation Points of Directed Graphs

SESSION ON TURING MACHINES.

- Felipe Cucker (City University of Hong Kong, Hong Kong ) 
The Legacy of Turing in Numerical Analysis

- Peter van Emde Boas (University of Amsterdam, The Netherlands ) 
Turing Machines for Dummies

- Jiri Wiedermann (Institute of Computer Science, Academy of Sciences, 
Czech Republic ) 
Towards Computational Models of Artificial Cognitive Systems that Can, 
in Principle, Pass the Turing Test


* 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

SPECIAL EVENT: SESSION ON TURING MACHINES

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

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


We are sure each SOFSEM 2012 Invited Speaker will deliver a wonderfull
Invited Talk the SOFSEM 2012 participants will fully enjoy similarly to the
43 accepted papers (from the 121 submitted: ~ 36 %  acceptance rate -  
the complete list is at: 
http://www.sofsem.cz/sofsem12/index.php?page=accepted).

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


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)




---------
The mail has been sent to gustaf.neumann@wu-wien.ac.at.