Thursday, November 3, 2011

SOFSEM 2012 - CALL for POSTERS

[This information is being posted to multiple lists
- we apologise if you get it several times.
Please, pass the information to whom it may benefit.
Thank you for understanding and cooperation.
The organisers.]


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)
[Title to be announced]

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 theorynt@listserv.nodak.edu.