LINGUIST List 12.1967

Fri Aug 3 2001

Calls: Computational Logic, Michigan Ling Society

Editor for this issue: Jody Huellmantel <jodylinguistlist.org>


As a matter of policy, LINGUIST discourages the use of abbreviations or acronyms in conference announcements unless they are explained in the text.

Directory

  1. Giorgio Delzanno, Computational Logic - ICLP 2001 workshop SAVE 2001
  2. Veronica Grondona, Michigan Linguistic Society

Message 1: Computational Logic - ICLP 2001 workshop SAVE 2001

Date: Fri, 3 Aug 2001 18:08:50 +0200 (CEST)
From: Giorgio Delzanno <giorgioetabeta.disi.unige.it>
Subject: Computational Logic - ICLP 2001 workshop SAVE 2001


 ICLP 2001 workshop SAVE 2001

 Specification, Analysis and Validation for Emerging Technologies

 in Computational Logic

 http://www.disi.unige.it/person/DelzannoG/save.html
 
	 Dec 1, 2001 , Coral Beach Hotel and Resort, Paphos, Cyprus
 
 Submission Deadline: August 25, 2001

The huge increase in interconnectivity we have witnessed in the last
decade has boosted the development of systems which are often
large-scale, distributed, time-critical, and possibly acting in an
unreliable or malicious environment. Furthermore, software and
hardware components are often mobile, and have to interact with a
potentially arbitrary number of other entities.

These systems require solid formal techniques for their verification
and analysis. In this respect, computational logic plays an
increasingly important role, both providing formal methods for proving
system's correctness and tools - e.g. using techniques like constraint
programming and theorem proving - for verifying their properties.

In addition, computational logic is gaining importance as tool for the
specification of (part) of these systems. For instance, one can think
at the specification, in a form of temporal logic, of a communication
protocol. Such specification offers the advantage that one can reason
about it using formal methods, and at the same time it is often easily
executable by rewriting it into a logic-based programming language.

Extending and shifting slightly from the scope of the predecessors (on
verification and logic languages) held in the context of past editions
of ICLP, the aim of this workshop is to bring together researchers
interested in the use of computational logicas a tool for the
specification, analysis and validation of systems, with particular
emphasis on (but not restricted to) emerging technologies like World
Wide Web and E-Commerce, (protocols for) Smart Cards and Mobile
Telephony, Wireless Technology, Hybrid Systems, Real-Time and
Distributed systems etc.

Topics

The topics of interest include but are not limited to: 

 Specification languages and rapid prototyping: 
 Logic programming and its extensions 
 First-order, constructive, modal and temporal logic 
 Constraints 
 Type theory 
 Analysis: 
 Abstract interpretation 
 Static analysis 
 Validation: 
 Simulation and testing 
 Deductive methods 
 Model checking 
 Theorem proving 

The preferred issues include, but are not limited to: 

 Mobility: specification and verification of mobile code. 
 Security: access rights, information flow, and security protocols. 
 Interaction, coordination, negotiation, communication and exchange on 
the Web. 
 Open and infinite-state systems. 
 Real-time systems. 

Important Dates: 

 Deadline for submissions: August 25, 2001. 
 Notification of acceptance/rejection: September 15, 2001. 
 Final papers due: October 5, 2001. 

Authors should submit papers of at most 15 pages, in postscript format,
formatted for A4 paper, to Giorgio Delzanno (giorgiodisi.unige.it) by 
the 25th of August 2001. The proceedings will be published in electronic
format. A printed version will be distributed to all
participants of the workshop. 

On the basis of the number and quality of the submissions, we could
also consider the possibility of inviting submissions for a special
issue of an international journal dedicated to the workshop.

Workshop Organizers/PC Chairs: 

 Giorgio Delzanno 
 Dipartimento di Informatica e Scienze dell'Informazione 
 Universita' di Genova 
 giorgiodisi.unige.it 
 
 Sandro Etalle 
 Department of Computer Science 
 University of Twente and CWI 
 etallecs.utwente.nl 
 
 Maurizio Gabbrielli 
 Dipartimento di Matematica ed Informatica 
 Universita' di Udine 
 gabbridimi.uniud.it 
 
Program Committee: 

 Radhia Cousot, CNRS & �cole Polytechnique, France 
 Giorgio Delzanno, University of Genova, Italy 
 Sandro Etalle, University of Twente and CWI, The Netherlands 
 Maurizio Gabbrielli, University of Udine, Italy 
 Thierry Massart, University of Brussels, Belgium 
 Frank Pfenning, Carnegie Mellon University, USA 
 Andreas Podelski, Max Planck Institute, Germany 
 Sriram Rajamani, Microsoft Research, USA 
 Jean-Francois Raskin, University of Brussels, Belgium 
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue

Message 2: Michigan Linguistic Society

Date: Wed, 1 Aug 2001 04:58:11 -0400 (EDT)
From: Veronica Grondona <mlsemunix.emich.edu>
Subject: Michigan Linguistic Society


CALL FOR PAPERS

Annual Meeting of the Michigan Linguistic Society

Saturday, October 27, 2001
Eastern Michigan University
Ypsilanti, Michigan

Keynote Speaker: To be announced.

Abstracts are invited in all areas of linguistics for the Annual Meeting
of the Michigan Linguistic Society. Presentations will be fifteen minutes
in length plus five minutes for discussion.

Abstract submission guidelines:
* Abstracts should be limited to 500 words excluding references.
* The title of the abstract should appear at the top of the abstract
 and the author's name, abstract title, affiliation and email address
 should appear on a separate page.
* Abstracts should be submitted by email to mlsemunix.emich.edu as part
 of the message text, or as a Word file attachment.
* Abstracts may also be submitted in hard copy form by faxing three
 copies to the attention of MLS Abstract Review Committee at
 734-483-9744 or mailing three copies to MLS 2001, Linguistics Program,
 Department of English Language and Literature, Ypsilanti, MI 48197
* E-mail submission is strongly encouraged. Abstracts received after
* Deadline for RECEIPT of abstracts is September 10, 2001. Abstracts
 received after September 10, 2001, will not be considered.


Abstracts will be reviewed anonymously, and notification of acceptance
will be sent by September 17, 2001. Registration and conference
information will appear on the website of the Linguistics Program,
Department of English Language and Literature, Eastern Michigan
University-- http://www.emich.edu/public/lingprog

For further information about Eastern Michigan University, including a
campus map, see http://www.emich.edu


Hope to see you all in October,

Veronica Grondona


Veronica Grondona
Linguistics Program
Department of English Language and Literature
Eastern Michigan University
Ypsilanti, MI 48197

grondonaemunix.emich.edu
734-487-0145 (voice)
734-483-9744 (fax)

Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue