JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for CPHC-CONF Archives


CPHC-CONF Archives

CPHC-CONF Archives


cphc-conf@jiscmail.ac.uk


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

CPHC-CONF Home

CPHC-CONF Home

CPHC-CONF  July 2008

CPHC-CONF July 2008

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

SOFSEM 2009 - Call for Paper

From:

SOFSEM09 <[log in to unmask]>

Reply-To:

SOFSEM09 <[log in to unmask]>

Date:

Mon, 28 Jul 2008 19:38:30 +0200

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (250 lines)

                      := SOFSEM 2009: 35th Conference on                        
         
           Current Trends in Theory and Practice of Computer Science
                             
                          CALL FOR PAPERS
                             
                          January 24-30, 2009 
                  Hotel Arnika, Spindleruv Mlyn, Czech Republic         
                           http://www.sofsem.cz


[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 organizers.]

IMPORTANT DATES

  * Abstract Submission:  August 17, 2008  
  * Paper Submission:     August 24, 2008 
  * Notification:         October 6, 2008
  * Camera-Ready Papers:  October 20, 2008
  * Conference:           January 24-30, 2009

An extended pdf version of this call can be found at
    http://www.ksi.mff.cuni.cz/sofsem09/printouts/Sofsem09CFP.pdf

SOFSEM (SOFtware SEMinar) is the annual, international conference devoted to 
the theory and practice of computer science. Its aim is to foster cooperation 
among professionals from academia and industry working in all modern areas of 
computer science.

SOFSEM 2009 Program Committee Chair: Mogens Nielsen, Aarhus, Denmark.


INVITED SPEAKERS

The invited speakers for SOFSEM will include:

  * Christian Attiogbe (University of Nantes, France)
  * Christel Baier (University of Bonn, Germany)
  * Josh Berdine (Microsoft Research, Cambridge, UK)   
  * Nicole Immorlica (Northwestern University, USA)
  * Radovan Janecek (BTO, HP Software)
  * Marcin Jurdzinski (University of Warwick, UK)
  * Giuseppe Longo (Ecole Normale Superieure, Paris, France)    
  * David Parkes (Harvard University, USA)   


CONFERENCE TRACKS

For the SOFSEM 2009 the following 4 tracks have been chosen:
  
  * Foundations of Computer Science
     Chair: Catuscia Palamidessi (Paris, France)
     Co-chair: Frank Valencia (Paris, France)

  * Theory and Practice of Software Services
     Chair: Petr Tuma, Prague, Czech Republic

  * Game Theoretic Aspects of ecommerce
     Chair: Peter Bro Miltersen (Aarhus, Denmark)

  * Techniques and Tools for Formal Verification
     Chair: Antonin Kucera (Brno, Czech Republic)
  
Moreover, for students, there is the

  * Student Research Forum
     Chair: Maria Bielikova (Bratislava, Slovakia)

Details on each track and the Forum can be found on the conference web site.


PROCEEDINGS

Following the tradition of SOFSEM, the proceedings from SOFSEM 2009, including 
invited and contributed papers, will be published in the Lecture Notes in 
Computer Science Series by Springer-Verlag. Papers from the Student Research 
Forum will be published in local proceedings. The target paper size is 12 pages 

in LNCS format.

Both proceedings will be distributed at the conference.


LOCATION

The venue of Sofsem 2009 will be OREA Hotel ARNIKA, Spindleruv Mlyn, Czech 
Republic. See www.sofsem.cz for further details.

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

FOUNDATIONS OF COMPUTER SCIENCE

  TOPICS: 
    * algorithms and data structures including sequential, parallel, 
      distributed, approximation, and number-theoretic algorithms
    * automata theory and languages
    * complexity theory, both computational and structural
    * foundations of security    
    * concurrency theory
    * quantitative aspects of computing
    * discrete mathematics related to computer science
    * grammars and formal models
    * program semantics, logic, and verification
  
  PROGRAM COMMITTEE:   
    * Luca Aceto            (Reykjavik University, Iceland)
    * Frank de Boer         (Leiden University, The Netherlands)
    * Roberto Bruni         (University of Pisa, Italy)
    * Stefan Dantchev       (Durham University,  UK)
    * Pierpaolo Degano      (University of Pisa, Italy)
    * Fedor Fomin           (University of Bergen, Norway)
    * Rachid Guerraoui      (EPFL, Switzerland)
    * Juraj Hromkovic       (ETH Zurich, Switzerland)
    * Thore Husfeldt        (IT University of Copenhagen, Denmark and Lund
                             University, Sweden)
    * Giuseppe F. Italiano  (Universita di Roma "Tor Vergata", Italy)
    * Riko Jacob            (Technische Universitat München, Germany)
    * Thomas Jensen         (IRISA/CNRS, France)
    * Juhani Karhumäki      (University of Turku, Finland)
    * Joost-Pieter Katoen   (Aachen University, Germany)
    * Evangelos Kranakis    (Carleton University, Canada)
    * Stephan Merz          (INRIA Nancy-Grand Est, France)
    * Mike Mislove          (Tulane University, USA)
    * Catuscia Palamidessi  (INRIA Saclay -  Île-de-France and Ecole
                             Polytechnique, France, co-chair)
    * Wojciech Penczek      (IPI PAN and University of Podlasie, Poland)
    * Riccardo Pucella      (Northeastern University, USA)
    * Branislav Rovan       (Comenius University, Slovakia)
    * Geoffrey Smith        (Florida International University , USA)
    * Jiri Srba             (University of Aalborg, Denmark)
    * Frank Valencia        (CNRS and École Polytechnique, France, co-chair)
    * Igor Walukiewicz      (Université de Bordeaux, France)
    * Jirí Wiedermann       (Academy of Sciences, Czech Republic)
    * Filip Zelezny         (Czech Technical University in Prague, Czech 
                             Republic)     
     
********************************

THEORY AND PRACTICE OF SOFTWARE SERVICES
  
  TOPICS:  
    * software engineering of service oriented systems
    * formal methods for service oriented architectures
    * service ontologies, semantic service description
    * process modeling for service architectures
    * service orchestration and coordination
    * quality of service
    * service negotiation and SLA
    * service discovery and management
    * support for dynamic binding of services
    * platform specific services (web services, ESB, GRID, MANET, etc.)
    * middleware for service oriented architectures
    * security and trust issues in services
    * business models for service architectures
    * emerging service standards (W3C, OASIS, UN/CEFACT, etc.)
    * convergence of services and other technologies (components, semantic
      web, etc.)    
    * experience reports
        
  PROGRAM COMMITTEE:    
    * Marco Aiello          (University of Groningen, Netherlands)
    * Grigoris Antoniou     (University of Crete & FORTH, Greece)
    * Achim Baier           (Itemis, Germany)
    * Walter Binder         (University of Lugano, Switzerland)
    * Paul Brebner          (NICTA & Australian National University, Australia)
    * Vadim Ermolayev       (Zaporozhye State University, Ukraine)
    * Wilhelm Hasselbring   (University of Oldenburg, Germany)
    * Matthias Holzl        (Ludwig-Maximilian University, Germany)
    * Michael Huhns         (University of South Carolina, USA)
    * Borka Jerman Blazic   (Jozef Stefan Institute, Slovenia)
    * Paul Johanesson       (Stockholm University & Royal Institute of 
                             Technology, Sweden)
    * Zhiming Liu           (UNU IIST, China)
    * George Papadopoulos   (University of Cyprus, Cyprus)
    * Andreas Rausch        (Technical University Clausthal, Germany)
    * Dumitru Roman         (University of Innsbruck, Austria)
    * Santosh Shrivastava   (University of Newcastle upon Tyne, United Kingdom)
    * Bernhard Steffen      (University of Dortmund, Germany)
    * Jos Trienekens        (University of Technology Eindhoven, Netherlands)
    * Petr Tuma             (Charles University, Czech Republic, chair)
    * Jian Yang             (Macquarie University, Australia)
    * Christian Zirpins     (University of Karlsruhe, Germany)
     
********************************             

GAME THEORETIC ASPECTS OF E-COMMERCE

  TOPICS:  
    * automated and algorithmic mechanism design,
    * computational pricing,
    * auction theory geared towards e*commerce, such as auctions for 
      digital goods, sponsored search auctions and combinatorial auctions
    * game theoretic aspects of trading agent systems
    * game theoretic aspects of networks and network formation    
    * game theoretic aspects of cryptographic protocols
   
  PROGRAM COMMITTEE:  
    * Arne Andersson        (Uppsala University and Trade Extensions, Sweden)
    * Felix Brandt          (University of Munich, Germany)
    * Giorgos Christodoulou (MPII Saarbruecken, Germany)
    * Artur Czumaj          (DIMAP, University of Warwick, UK)
    * Edith Elkind          (University of Southampton, UK)
    * Rica Gonen            (Yahoo! Research, USA)
    * Jason Hartline        (Northwestern, USA)
    * Kamal Jain            (Microsoft Research, USA)
    * Vangelis Markakis     (CWI, The Netherlands)
    * Peter Bro Miltersen   (University of Aarhus, Denmark, chair)
    * Martin Pal            (Google, USA)
    * David Parkes          (Harvard, USA)
    * Paolo Penna           (Universita di Salerno, Italy)
    * Carmine Ventre        (University of Liverpool, UK)   

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

TECHNIQUES AND TOOLS FOR FORMAL VERIFICATION

  TOPICS:
    * formal models (process calculi, Petri nets, timed automata,
      message sequence charts, hybrid systems, domain theoretic models,
      probabilistic systems, etc.)
    * specification languages (temporal logics, semantic equivalences
      and preorders, etc.)
    * verification techniques (model checking, equivalence checking,
      abstract interpretation, race detection, static analysis,
      testing and run time analysis, theorem proving, true concurrency
      techniques, symbolic representation techniques, etc.)
    * software tools for automatic analysis, verification, and
      validation of computer systems (including case studies)

  PROGRAM COMMITTEE:   
    * Patricia Bouyer       (LSV, ENS de Cachan, France)
    * Javier Esparza        (TU Munchen, Germany)
    * Jan Friso Groote      (Eindhoven University of Technology, The    
                             Netherlands)
    * Keijo Heljanko        (Helsinki University of Technology, Finland)
    * Thomas Henzinger      (EPFL Lausanne, Switzerland)
    * Gabriel Juhas         (Slovak University of Technology in Bratislava,
                             Slovak Republic)
    * Marta Kwiatkowska     (Oxford University, UK)
    * Antonin Kucera        (Masaryk University, Czech Republic, chair)
    * Viktor Kuncak         (EPFL Lausanne, Switzerland)
    * Kim Larsen            (Aalborg University, Denmark)
    * Madhavan Mukund       (Chennai Mathematical Institute, India)
    * Andreas Podelski      (University of Freiburg, Germany)
    * Davide Sangiorgi      (University of Bologna, Italy)
    * Tomas Vojnar          (Brno University of Technology, Czech Republic)
    * Nobuko Yoshida        (Imperial College London, UK)   
   

Top of Message | Previous Page | Permalink

JISCMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002
2001
2000
1999
1998


WWW.JISCMAIL.AC.UK

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager