12.1509, Calls: Business Communication, Computational Logic
The LINGUIST Network
linguist at linguistlist.org
Thu Jun 7 16:37:00 UTC 2001
LINGUIST List: Vol-12-1509. Thu Jun 7 2001. ISSN: 1068-4875.
Subject: 12.1509, Calls: Business Communication, Computational Logic
Moderators: Anthony Aristar, Wayne State U.<aristar at linguistlist.org>
Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>
Andrew Carnie, U. of Arizona <carnie at linguistlist.org>
Reviews (reviews at linguistlist.org):
Simin Karimi, U. of Arizona
Terence Langendoen, U. of Arizona
Editors (linguist at linguistlist.org):
Karen Milligan, WSU Naomi Ogasawara, EMU
Lydia Grebenyova, EMU Jody Huellmantel, WSU
James Yuells, WSU Michael Appleby, EMU
Marie Klopfenstein, WSU Ljuba Veselinova, Stockholm U.
Heather Taylor-Loring, EMU Dina Kapetangianni, EMU
Software: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
Gayathri Sriram, E. Michigan U. <gayatri at linguistlist.org>
Home Page: http://linguistlist.org/
The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.
Editor for this issue: Jody Huellmantel <jody at linguistlist.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)
Date: Thu, 7 Jun 2001 09:05:09 +0100
From: "Bargiela, Francesca" <francesca.bargiela at ntu.ac.uk>
Subject: Language in intercultural business communication
2)
Date: Thu, 7 Jun 2001 17:08:18 +0200 (CEST)
From: Giorgio Delzanno <giorgio at etabeta.disi.unige.it>
Subject: Computational Logic - ICLP ws SAVE 2001
-------------------------------- Message 1 -------------------------------
Date: Thu, 7 Jun 2001 09:05:09 +0100
From: "Bargiela, Francesca" <francesca.bargiela at ntu.ac.uk>
Subject: Language in intercultural business communication
****************************************************************************
ASSOCIATION OF BUSINESS COMMUNICATION
EUROPEAN CONVENTION
BUSINESS COMMUNICATION ACROSS CONTEXTS, CULTURES AND CONTINENTS
Aarhus Business School
Denmark
23-25 May 2002
S Y M P O S I U M
on
LANGUAGE IN INTERCULTURAL BUSINESS COMMUNICATION
Research Issues and Methods
Call for Papers
Research in intercultural business communication has often focused on
cultural differences and intercultural (mis)understanding and on how
language choices may contribute to the negotiation or meditation of
such differences. In addition, recent work within business
communication studies has highlighted the potential usefulness of
multi- method research in the investigation of communication within
business contexts (e.g. Rogers 2001; Bargiela-Chiappini & Nickerson,
2001).
The symposium aims to explore the methods and approaches currently in
use in the investigation of language in intercultural business
communication, and to identify where the research interests of the
symposium participants converge. In doing so, the conveners hope to
provide a forum for the discussion of research in intercultural
business communication in the future.
Submissions are invited from scholars representing a variety of
disciplines on the two related themes of: (1) the dynamics of
language, and languages, in intercultural business communication; and
(2) the research methods and approaches that may most usefully be
applied to the investigation of language and languages at work in
business contexts.
Proposals for paper submissions to this symposium will look at either
or both of the following areas: (1) the complexity of language factors
that occur in intercultural business encounters, both written and
spoken varieties; (2) the analytical approaches and methodologies that
facilitate our understanding of real life 'language at work'.
Submissions may include topics such as, the use of English (or another
language) as a lingua franca, multilingual meetings, the interplay
between written and spoken communication, computer-mediated
communication (e.g. electronic communication, video-conferencing),
multi- method approaches and multi-disciplinary research.
The conveners hope to place a selection of the best papers presented
at the conference in an appropriate international journal.
DEADLINE FOR SUBMISSION OF ABSTRACTS (500 WORDS MIN.):
31 August 2001
Please send to:
Francesca Bargiela
English and Media Studies
Nottingham Trent University
francesca.bargiela at ntu.ac.uk
or
Catherine Nickerson
Business Communication Studies
Nijmegen University
c.nickerson at let.kun.nl
For further details, please refer to the convention web-site at
http://www.sprog.asb.dk/abc/
****************************************************************************
Dr Francesca Bargiela
Research Fellow
Nottingham Trent University
Britain
tel. +44 115 848 6354 (+ voicemail)
fax +44 115 848 6632
email: francesca.bargiela at ntu.ac.uk
-------------------------------- Message 2 -------------------------------
Date: Thu, 7 Jun 2001 17:08:18 +0200 (CEST)
From: Giorgio Delzanno <giorgio at etabeta.disi.unige.it>
Subject: Computational Logic - ICLP ws 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
(giorgio at disi.unige.it) by 31st July 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
giorgio at disi.unige.it
Sandro Etalle
Department of Computer Science
University of Twente and CWI
etalle at cs.utwente.nl
Maurizio Gabbrielli
Dipartimento di Matematica ed Informatica
Universita' di Udine
gabbri at dimi.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
---------------------------------------------------------------------------
LINGUIST List: Vol-12-1509
More information about the LINGUIST
mailing list