-------- Original Message -------- Subject: SOFSEM 2012 - 2nd CALL for POSTERS (Deadline November 21) Date: Wed, 16 Nov 2011 11:49:03 +0100 From: sofsem@sofsem.cz To: gustaf.neumann@wu-wien.ac.at

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.