SOFSEM 2012 - SOFSEM 2012 38th International Conference on Current Trends in Theory and Practice of Computer Science

Website | Edit Freely

Category SOFSEM 2012

Deadline: June 29, 2011 | Date: January 21, 2012-January 27, 2012

Venue/Country: Orea Hotel HORAL, Czech Republic

Updated: 2011-07-11 21:41:00 (GMT+9)

Call For Papers - CFP

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/

It is our great pleasure to invite you to submit a paper for 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 - for details see

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

interesting,

and that by submitting your paper to the SOFSEM 2012 conference you will

help to contribute to yet another succesfull SOFSEM.

Important dates:

Abstracts deadline: June 22, 2011

Full papers deadline: June 29, 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 very distinguished feature of the SOFSEM 2012 will be

the higher number of Invited Speakers.

The current list of invited speakers:

SPECIAL EVENT: SESSION on TURING MACHINES.

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

Jiri Wiedermann (Institute of Computer Science, Academy of Sciences, Czech Republic)

[Title to be announced]

Foundations of Computer Science Track:

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

Giuseppe F. Italiano (University of Rome "Tor Vergata", Italy)

[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 let you know about important news.

We are looking forward to your submissions.