[Elsnet-list] LICS Newsletter 109

Kreutzer + Schweikardt lics at informatik.hu-berlin.de
Tue Mar 20 14:51:23 CET 2007


Newsletter 109
March 20, 2007

*******************************************************************
* Past issues of the newsletter are available at
  http://www.informatik.hu-berlin.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
  can be found at
  http://www.informatik.hu-berlin.de/lics/newsletters/inst.html
* To unsubscribe, send an email with "unsubscribe" in the 
  subject line to lics at informatik.hu-berlin.de
*******************************************************************



TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
  CSL 2007 - Call for Papers
  HOR 2007 - Call for Abstracts
  Logic, Rationality and Interaction - Call for Papers
  LFMTP 2007 - Call for Papers
  ACSAC 2007 - Call for Papers
  FACS 2007 - Call for Papers
  LOPSTR 2007 - Call for Papers
  LCC 2007 - Call for Papers
* WORKSHOPS
  Linear logic, ludics, implicit complexity, operator algebras
  Jean-Yves Girard, Conference in honour of his 60th birthday  



COMPUTER SCIENCE LOGIC (CSL 2007)
   Call for Papers 
   11-15 September, 2007
   Lausanne (CH)
* CSL is the annual conference of the European 
  Association for Computer Science Logic (EACSL).
  The conference is intended for computer scientists whose research 
  activities involve logic, as well as for logicians working on issues
  significant for computer science.
* CSL'07, the 16th annual EACSL conference will be organized in 
  Lausanne by the Western Swiss Center for Logic, History and 
  Philosophy of Sciences, and the University of Lausanne.
* The Ackermann Award for 2007 is sponsored by Logitech and will be 
  presented to the recipients at CSL'07.
* A joint session with GAMES 07, the annual meeting of the European 
  Network will take place on 11 September, 2007.
		http://www.unil.ch/csl07/
* Topics of interest include:
  - automated deduction and interactive theorem proving,
  - constructive mathematics and type theory,
  - equational logic and term rewriting,
  - automata and games,
  - modal and temporal logics,
  - model checking,
  - logical aspects of computational complexity,
  - finite model theory,
  - computational proof theory,
  - logic programming and constraints,
  - lambda calculus and combinatory logic,
  - categorical logic and topological semantics,
  - domain theory,
  - database theory,
  - specification, extraction and transformation of programs,
  - logical foundations of programming paradigms,
  - verification and program analysis,
  - linear logic,
  - higher-order logic,
  - nonmonotonic reasoning,
  - logics and type systems for biology.
* Proceedings will be published in the LNCS series.
  Each paper accepted by the Programme Committee must be presented at 
  the conference by one of the authors, and final copy be prepared 
  according to Springer's guidelines.
* Submitted papers must be in Springer's LNCS style and of no more than 
  15 pages, presenting work not previously published.
  They must not be submitted concurrently to another conference with 
  refereed proceedings.
  Any closely related work submitted to a conference or journal before 
  April 2, 2007 must be reported to the PC chairs.
  Papers authored or coauthored by members of the Programme Committee 
  are not allowed.
* The submission deadline is in two stages. Titles and abstracts must 
  be submitted by 02 April, 2007 and full papers by 09 April, 2007. 
  Notifications of acceptance will be sent by 21 May, 2007, and final 
  versions are due 18 June, 2007.
* Important Dates:
  Submission
  - title & abstract:	02 April, 2007
  - full paper:		09 April, 2007
  - Notification:		21 May, 2007
  - Final papers:	18 June, 2007
* Invited Speakers:
  -Samson Abramsky (Oxford)
  -Luca de Alfaro (Santa Cruz)
  -Arnold Beckmann (Swansea)
  -Anuj Dawar (Cambridge)
  -Orna Kupferman (Jerusalem)
  -Donald A. Martin (pending)	(Los Angeles)
  -Helmut Seidl (Munich)
* Programme Committee:
  -Serge Artemov (New-York)
  -Franz Baader (Dresden)
  -Lev Beklemishev (Moscow)
  -Andrei Bulatov (Burnaby)
  -Michel De Rougemont	(Paris)
  -Jacques Duparc (co-Chair)(Lausanne)
  -Erich Graedel (Aachen)
  -Thomas Henzinger (co-Chair)	(Lausanne)
  -Michael Kaminski (Haifa)
  -Stephan Kreutzer (Berlin)
  -Benedikt Loewe (Amsterdam)
  -Rupak Majumdar (Los Angeles)
  -Paul-Andre Mllies (Paris)
  -Joel Ouaknine (Oxford)
  -Jean-Eric Pin (Paris)
  -Nicole Schweikardt (Berlin)
  -Luc Segoufin	(Orsay)
  -Thomas Strahm (Bern)
  -Ashish Tiwari (Menlo Park, CA)
  -Helmut Veith (Munich)
  -Igor Walukiewicz (Bordeaux)


WORKSHOP ON HIGHER-ORDER REWRITING (HOR 2007)
  (affiliated with RDP 2007)
  Call for Abstracts
  Paris, June 25, 2007
  http://www.rdp07.org/hor.html
* Theme. HOR 2007 is a forum to present work concerning all aspects
  of higher-order rewriting. Topics of interest include (but are not
  limited to):
  Applications: proof checking, theorem proving, generic programming,
    declarative programming, program transformation.
  Foundations: pattern matching, unification, strategies, narrowing,
    termination, syntactic properties, type theory.
  Frameworks: term rewriting, conditional rewriting, graph rewriting,
    net rewriting, comparisons of different frameworks.
  Implementation: explicit substitution, rewriting tools, compilation
    techniques.
  Semantics: semantics of higher-order rewriting, higher-order
    abstract syntax.
* All submissions must be done electronically via
  http://www.easychair.org/HOR2007/
* Submission Deadline : April 13, 2007
* Program committee. Herman Geuvers (Radboud University Nijmegen,
  Netherlands), Makoto Hamana (Gunma University, Japan), Ralph
  Matthes (C.N.R.S., University of Toulouse III, France)(chair),
  Albert Rubio (Technical University of Catalonia, Spain),
  Mark-Oliver Stehr (SRI International, U.S.A.).



WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION
  Call for Papers
  5-9 August, 2007. 
  Beijing, China.
  http://www.illc.uva.nl/LORI
* About the Workshop
  In the past decade it has become increasingly clear that studying
  information, first and foremost, means studying information exchange. This
  acknowledgement of the inherently social character of information shows up
  at many places in modern logical theories. More generally, information
  exchange is a form of interaction where agents act together in strategic
  ways. This new perspective has led to contacts between logic and game
  theory, bringing a new set of disciplines into the scope of logic: viz.,
  economics, and the social sciences. New interfaces are arising, such as
  epistemic studies of rational behavior in games. Another interesting
  development in this area is the rise of the notion of 'social software',
  the idea of using computational techniques for analyzing patterns of
  social behavior. And finally, interaction is also crucial to intelligent
  behavior in the field of natural language. Here pragmatics, the study of
  the actual use of language between different agents, has become the
  primary focus of research. Notions from game theory, in particular
  evolutionary games, are being used to-day to answer all kinds of pragmatic
  issues, for instance, how linguistic conventions can arise.
  This workshop aims to bring together researchers working on these and
  related topics in logic, philosophy, computer science, and related areas
  in order to arrive at an integrated perspective on knowledge acquisition,
  information exchange, and rational action.
*Important Dates*
  - Paper submission deadline: 15 April 2007
  - Notification of authors: 15 May 2007
  - Camera-ready copies due: 15 June 2007
  - Workshop dates: 5-9 August 2007
* People involved 
  Chair: Johan van Benthem
  Co-Chairs: Shier Ju and Frank Veltman
  General Organizers : Minghui Xiong and Fenrong Liu
  Invited Speakers: Alexandru Baltag (Oxford University, UK)  
  Vincent F. Hendricks (Roskilde University, Denmark); 
  Wiebe van der Hoek (Liverpool University, UK);
  Gerhard Jager (University of Bielefeld, Germany);
  Yossi Feinberg (Stanford University, USA); 
  Jialong Zhang (Chinese Academy of Social Sciences, China)
* Committee of Recommendation: 
  Patrick Blackburn (FoLLI); 
  Giacomo Bonanno (LOFT);
  Joseph Halpern (TARK);  
  Johann Makowsky ( EACSL);   
  Jacek Malinowski (Studia Logica);  
  Gabriel Sandu (ESF Eurocores Intelligent Interaction)


INTERNATIONAL WORKSHOP ON LOGICAL FRAMEWORKS AND META-LANGUAGES: THEORY AND PRACTICE  (LFMTP'07)
  Call for Papers
  Affiliated with CADE-21, 
  Bremen, Germany, 
  July 16, 2007
  http://www.cs.mcgill.ca/~bpientka/lfmtp07
*Theme: Logical frameworks and meta-languages form a common
 substrate for representing, implementing, and reasoning about
 a wide variety of deductive systems of interest in logic and
 computer science. Their design and implementation on the one
 hand and their applications in for example proof-carrying code,
 the reasoning about programming languages, or digital libraries
 has been the focus of considerable research over the last two decades.
 LFMTP'07 will bring together designers, implementors, and
 practitioners to discuss all aspects of logical frameworks, and
 is the major form for presentation of research in this area.
* Program Committee:Andreas Abel(LMU Munich), Peter Dybjer(Chalmers
 University),Marino Miculan(University Udine), Dale Miller(INRIA
 Futurs), Brigitte Pientka(McGill University), Benjamin
 Pierce(University of Pennsylvania), Carsten Schuermann(IT University
 of Copenhagen, PC Chair), Christian Urban (TU Munich)
* Submission deadline:
   Title and abstract: 7 May 2007,
   Paper:             13 May 2007



23RD ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC)
  Call for Papers
  Miami Beach, Florida, December 10-14, 2007
  http://www.acsac.org
*  Important Dates:
	Paper Submission due:		June 3, 2007
	Acceptance notification:	August 13, 2007
	Final papers due:		September 13, 2007
* ACSAC is an internationally recognized forum where practitioners, 
  researchers, and developers in information system security meet to 
  learn and to exchange practical ideas and experiences.  Papers 
  offering novel contributions in any aspect of computer and application 
  security are solicited. Papers may present technique, applications, 
  or practical experience, or theory that has a clear practical impact. 
  Papers are encouraged on technologies and methods that have been 
  demonstrated to be useful for improving information systems security 
  and that address lessons from actual application.
* Paper submissions:  Submitted papers must not substantially overlap 
  papers that have been published or that are simultaneously submitted 
  to a journal or a conference with proceedings.  Papers should be at 
  most 15 pages including the bibliography and well-marked appendices 
  (using 11-point font and reasonable margins on letter-size paper).  
  Committee members are not required to read the appendices, and so the 
  paper should be intelligible without them.  All submissions should be 
  appropriately anonymized (i.e., papers should not contain author names 
  or affiliations, or obvious citations).  Submissions are to be made to 
  the submission web site at http://www.acsac.org. Only pdf or postscript 
  files will be accepted. Submissions not meeting these guidelines risk 
  rejection without consideration of their merits. Papers must be received 
  by the deadline of June 3, 2007. Authors of accepted papers must guarantee 
  that their papers will be presented at the conference.
* Other submissions: Detailed submission information for panels, tutorials, 
  workshops, case studies, work in progress, and exhibitor information can 
  be found at http://www.acsac.org/cfp.


FUNDAMENTAL ASPECTS OF COMPONENT SOFTWARE  (FACS'07)
  Call for Papers
  Sophia-Antipolis, France,  19-21 september 2007
  Workshop site:  http://www.iist.unu.edu/facs07/
* Theme: Component-based software emerged as a promising paradigm to 
  deal with the ever increasing need for mastering systems' complexity, 
  for enabling evolution and reuse, and for driving software engineering 
  into sound production and engineering standards. Soon, however, it 
  became a popular technology long before well understood and widely 
  adopted formal foundations have emerged. Issues like mathematical models 
  for components, their interaction and composition, or rigorous 
  approaches to verification, deployment, testing and certification remain 
  open research questions and challenging opportunities for formal 
  methods. Moreover, new challenges are raised by applications of this 
  paradigm to safety-critical, mobile, or reconfigurable systems.
  The objective of FACS'07 is to bring together researchers in the areas 
  of component software and formal methods to promote a deep understanding 
  of this paradigm and its applications. Full list of topics on the web site.
* Important Dates:
  Abstract submission & paper registration deadline: June 4, 2007
  Paper upload deadline: June 11, 2007
  Workshop: September 19-21, 2007
* All submissions must be done electronically through the web site. 
  Post-proceedings will be published by ENTCS.
* Chairs: Markus Lumpe (Iowa State University, USA) and Eric Madelaine 
  (INRIA, Centre Sophia Antipolis, France)
* Program Committee :  Farhad Arbab (CWI, The Netherlands), Luis Barbosa 
  (Universidade do Minho, Portugal), Frank S. de Boer, (CWI, The 
  Netherlands), Christiano Braga (Universidad Complutense de Madrid, 
  Spain), Carlos Canal (Universidad de Malaga, Spain), Paolo Ciancarini 
  (Universita di Bologna, Italy), Jose Fiadeiro (University of Leicester, 
  United Kingdom), Rolf Hennicker (Ludwig-Maximilians-Universitaet 
  Muenchen, Germany), Atsushi Igarashi (Kyoto University, Japan), Einar 
  Broch Johnsen (Universitetet i Oslo, Norway), Bengt Jonsson (Uppsala 
  University, Sweden), Mathai Joseph (Tata Consultancy Services Limited, 
  India), Vladimir Mencl (Charles University, Czech Republic, and 
  University of Canterbury, New Zealand), Corina Pasareanu (NASA Ames, 
  USA), Frantisek Plasil (Charles University, Czech Republic), Ralf 
  Reussner (University of Oldenburg, Germany), Bernhard Schaetz (Technical 
  University of Munich, Germany), Joseph Sifakis (VERIMAG, France), 
  Carolyn Talcott (SRI International, USA), Dang Van Hung (IIST UNU, MACAU)




INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2007)
   Call for papers
   22-24 August 2007, 
   Kongens Lyngby, Denmark
   (co-located with SAS 2007)
   url:   http://www.cs.kent.ac.uk/events/conf/2007/lopstr/
   email: lopstr-2007 at kent.ac.uk
* Objectives
  The  aim  of the  LOPSTR  series  is  to  stimulate  and  promote 
  international research and collaboration on logic-based program 
  development.  LOPSTR  is  open to contributions in logic-based program 
  development in  any  language paradigm. LOPSTR has a reputation for being 
  a lively, friendly forum  for  presenting  and discussing  work in 
  progress. Formal proceedings are  produced  only  after  the symposium, so 
  authors can incorporate this feedback in the published papers.
* Topics
  Topics  of  interest cover all aspects of logic-based program development,
  all stages  of the software life cycle, and issues of both
  programming-in-the-small and programming-in-the-large. Papers
  describing applications in these areas  are especially welcome.
  Contributions  are  welcome  on  all aspects of logic-based program
  development, including, but not limited to: 
     specification                           synthesis
     verification                            transformation
     analysis                                optimisation
     composition                             security
     reuse                                   applications and tools
     component-based software development    software architectures
     agent-based software development        program refinement
* Survey  papers,  that  present  some aspect of  the  above  topics  from 
  a  new perspective,  and  application papers, that describe experience 
  with  industrial applications, are also welcome. 
* Submission information and Special Issue:
  Submissions  can either be (short)  extended abstracts or (full)   papers 
  whose length  should  not exceed 9 and 15 pages  respectively. 
  Submissions  must be formatted  in LNCS style (excluding  bibliography and 
  well-marked appendices not intended for publication). Referees are not 
  required to read the appendices, and thus papers should be intelligible 
  without them.
  After the symposium,  the  programme  committee  will  select those papers 
  to be considered for formal publication. These authors will be invited to 
  revise their submissions in the light of the  feedback solicited at  the 
  meeting.  Then after another round of reviewing,  these revised papers 
  will be published by Springer-Verlag in the Lecture Notes in
  Computer Science series. 
* The very best papers will additionally be invited to submit for a  special 
  issue or special track of the journal Higher-Order and Symbolic Computation, 
  provided there are sufficient high-quality submissions.
* Papers should be submitted either in PostScript or PDF format and they 
  should be interpretable by Ghostscript or Acrobat Reader.
* Invited Speaker:
  Michael Codish       (Ben-Gurion University of the Negev, Israel)
* Program Committee:
  Elvira Albert        (Universidad Complutense Madrid, Spain)
  John Gallagher       (University of Roskilde, Denmark)
  Michael Hanus        (Christian-Albrechts-Universität zu Kiel, Germany)
  Jacob Howe           (City University, UK)
  Andy King            (University of Kent, UK)
  Michael Leuschel     (Heinrich-Heine-Universität Düsseldorf, Germany)
  Mario Ornaghi        (Università degli Studi di Milano, Italy)
  Étienne Payet        (Université de La Réunion, France)
  Alberto Pettorossi   (Università di Roma Tor Vergata, Italy)
  Carla Piazza         (Università degli Studi di Udine, Italy)
  C. R. Ramakrishnan   (SUNY Stony Brook, USA)
  Abhik Roychoudhury   (National University of Singapore, Singapore)
  Peter Schneider-Kamp (RWTH Aachen, Germany)
  Alexander Serebrenik (Technische Universiteit Eindhoven, Netherlands)
  Josep Silva          (Technical University of Valencia, Spain)
  Wim Vanhoof          (University of Namur, Belgium)
* Important dates:
  Submission of paper/extended abstract        June 8, 2007
  Notification                                 July 13, 2007
  Revised version (for pre-proceedings)        August 10, 2007
  Symposium                                    August 22-24, 2007
  Camera-ready version (for post-proceedings)  December 14, 2007



WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY (LCC'07)
   (affiliated with LICS 2007)
   Call for Papers
   Wroclaw, Poland - 15th July 2007
   http://www.cis.syr.edu/~royer/icc/LCC07/
* Theme: The workshop aims at furthering an understanding of the
   relations between computational complexity and logic. Topics of
   interest include: complexity analysis for functional languages,
   complexity in database theory, complexity in formal methods,
   computational complexity in higher types, formal methods for
   complexity analysis of programs, foundations of implicit
   computational complexity, logical & machine-independent
   characterizations of complexity classes, logics closely related to
   complexity classes, proof complexity, semantic approaches to
   complexity, software that applies LCC ideas, and type systems for
* Submissions: For details, see the workshop website
   (http://www.cis.syr.edu/~royer/icc/LCC07/).
* Submission Deadline: April 16, 2007
* Program committee:  Albert Atserias (Poly. Univ. of Catalonia),
   Ulrich Berger (Univ. of Wales, Swansea), Andrei Bulatov (Simon
   Fraser Univ.), Stephan Kreutzer (Humboldt Univ. of Berlin), Andrzej
   Murawski (Univ. of Oxford), Martin Otto, co-chair (Darmstadt
   Univ. of Technology), Kazushige Terui (National Institute of
   Informatics, Tokyo), Pawel Urzyczyn, co-chair (Univ. of Warsaw)



WORKSHOP ON LINEAR LOGIC, LUDICS, IMPLICIT COMPLEXITY, OPERATOR ALGEBRAS
  Dedicated to Jean-Yves  Girard on his 60th birthday.
  Siena, (Italy), 
  May 17-20, 2007
  www.unis.it/eventi/LOGIC
* Theme:
  The aim is to gather people working in the
  many research streams originating from Girard's main achievements of
  the recent years. For each of the four main themes---Linear Logic
  (specifically, Proof Nets and Geometry of Interaction), Ludics,
  Implicit Complexity and Operator Algebras---there will be in-depth
  lectures (3 to 4 hours), with emphasis on the state of the art and
  prospects for future development. There will also be some time for 30-
  minute contributed papers and for discussion of general perspectives
  and philosophical foundations.
* Program Commettee:
  V.M. Abrusci (Roma), C. Faggian ( Paris), S. Martini (Bologna), S. 
  Ronchi Della Rocca (Torino), A. Ursini (Siena).
* Invited Speakers:
  Patrick Baillot, Pierre-Louis Curien, Alberto Dal Lago, Claudia 
  Faggian, Jean-Yves Girard, Paul Andre  Mellies,
  Michele Pagani, Laurent Regnier, Kazushige  Terui


JEAN-YVES GIRARD, CONFERENCE IN HONOUR OF HIS 60TH BIRTHDAY
  Institut Henri Poincar=E9, 
  Paris (France),  
  September 10 and 11, 2007
  http://www-lipn.univ-paris13.fr/jyg60
*Theme:
  Through our choice of invited speakers, we hope to illustrate the
  wide range of scientific interests of Jean-Yves Girard over thirty-
  five years, from the complexity of proofs to quantum mechanics, from
  system F to the geometry of computation, from denotational semantics
  to Von Neumann algebras.
* Organizing committee: Michele Abrusci (Roma III) Pierre-Louis Curien
  (CNRS - Paris 7, chair), Martin Hyland (Cambridge), Giuseppe Longo
  (ENS, Paris), Mitsu Okada (Keio U., Tokyo), Phil Scott (Univ. of
  Ottawa), Jacqueline Vauzeilles (Paris 13, co-chair)
*Invited Speakers: Patrick Dehornoy, Gerard Huet,
  Herman Jervell, Yves Lafont, Olivier Laurent
  Thierry Paul, Peter Selinger, Glynn Winskel


More information about the Elsnet-list mailing list