<x-flowed>
Humanist Discussion Group, Vol. 17, No. 617.
Centre for Computing in the Humanities, King's College London
www.kcl.ac.uk/humanities/cch/humanist/
www.princeton.edu/humanist/
Submit to: humanist@princeton.edu
[1] From: Alessio Lomuscio <alessio@dcs.kcl.ac.uk> (46)
Subject: LCMAS@ESSLLI Final CFP
[2] From: "Helen Tibbo" <tibbo@email.unc.edu> (68)
Subject: Digitization Management Workshop Early Registration
Ending Soon
[3] From: "ICECCS 2004" <iceccs@------------.dsi.unifi.it> (37)
Subject: Conference and Worshop on Complex Computer Systems
[4] From: Methods for Modalities <m4m@uva.nl> (26)
Subject: ESSLLI 2004: Preliminary Announcement
[5] From: Natasha Alechina <nza@Cs.Nott.AC.UK> (24)
Subject: CfP Workshop of guarded logics ESSLLI'04
--[1]------------------------------------------------------------------
Date: Sat, 07 Feb 2004 07:49:08 +0000
From: Alessio Lomuscio <alessio@dcs.kcl.ac.uk>
Subject: LCMAS@ESSLLI Final CFP
Final Call for Papers
LCMAS04
An ESSLLI04 Workshop on
Logic and Communication in Multi-Agent Systems
http://www.win.tue.nl/%7Eevink/lcmas04.html
NEW: PUBLICATION DETAILS - SEE BELOW
The workshop, this year in its second edition, aims at bringing
together graduate students and researchers interested in topics
related to the use of formal tools when applied to modelling,
specifying, verifying, and reasoning about multi-agent systems in
which communication and updating play a crucial role. Specifically,
the workshop aims at providing a forum for discussing technical issues
that arise with formalisms (epistemic, temporal, dynamic and
authentication logics and tools) inspired by the needs of modelling
information exchanges in multi-agent systems.
The workshop will be held within the context of ESSLLI04, the 2004
edition of the European Summer School on Logic Language and
Computation, to be held in Nancy in August 2004.
WORKSHOP SPECIFIC THEMES
Particular focus of attention will be given to papers relating to the
following specific themes:
* Dynamics of epistemic positions: Combinations of epistemic logic
and temporal logic (and related semantical issues) resulting from
communicative acts, such as message passing, broadcasting, etc.
Modelling of epistemic updates, and refinements following
communicative acts.
* Communication protocols: Semantics for communications processes in
multi-agent systems. Formal dependencies between communication
protocols and intensional (e.g., epistemic) properties of the
agents. Using CSP and CCP for agent-communication.
* Security and authorisation: Logics (deontic logic, BAN logic, etc.)
for security and authorisation, where the assumption that the other
agents in the network are cooperative, or at least not hostile, is
dropped. Semantics for authorisation logics that are general and
complete, or languages that are strong enough to prove that certain
occasions (intruders entering the network, unwanted eavesdropping)
do not occur.
* Semantics of speech acts: Logical semantics of speech acts and
institutional communication. Semantics of agent communication
languages and their relationship to speech acts. Logics for
planning speech acts. Relationships between speech act theory and
belief revision & epistemic updates.
[material deleted]
FURTHER INFORMATION
About ESSLLI-2004: http://esslli2004.loria.fr/
About the workshop: http://www.win.tue.nl/%7Eevink/lcmas04.html
--[2]------------------------------------------------------------------
Date: Sat, 07 Feb 2004 07:52:12 +0000
From: "Helen Tibbo" <tibbo@email.unc.edu>
Subject: Digitization Management Workshop Early Registration
Ending Soon
For anyone contemplating a digitization project or managing digital
heritage collections….
I am pleased to announce that for the third year, the School of Information
and Library Science, UNC-Chapel Hill, will host the Digitization for
Cultural Heritage Professionals workshop, this year May 16-21. This is a
great week of hard work and community building that brings students
together with instructors from the University of Glasgow, Scotland,
UNC-Chapel Hill, and Duke University. The curriculum will be significantly
revised this year to reflect new developments, technologies, media, and
issues. Come join us in Chapel Hill the third week of May! Early
Registration ends February 15th and slots are filling quickly so register
early. Cost information, course details and an online registration form can
be found at <http://www.ils.unc.edu/DCHP/>http://www.ils.unc.edu/DCHP/. See
more below too! -Helen
***************************
Digitization for Cultural and Heritage Professionals 2004
The School of Information and Library Science at the University of North
Carolina, Chapel Hill in conjunction with the Humanities Advanced
Technology and Information Institute, University of Glasgow, Rice
University’s Fondren Library, and Duke University Libraries, is pleased to
announce the fifth Digitization for Cultural and Heritage Professionals
course, May 16 - May 21, 2004. The course ran at Rice University, Houston
in 2000 and 2001 and in UNC-Chapel Hill in 2002 and 2003. Full information,
course details, and an online registration form can be found on the SILS
web pages at: <http://www.ils.unc.edu/DCHP/>http://www.ils.unc.edu/DCHP/.
With a new curriculum for 2004, this one-week intensive course will consist
of lectures; seminars; lab-based practicals (offering both guided tuition,
as well as an opportunity for individual practice) and visits to the UNC
and Duke University libraries. The teaching team includes Drs. Seamus Ross
and Ian Anderson from Glasgow, Dr. Helen Tibbo from UNC-CH, and Dr. Paul
Conway from Duke University.
Enrollment is limited, so please register early to confirm a place.
COSTS, REGISTRATION, AND DEADLINES. Course Fees (including study materials,
mid-morning coffee, lunch, afternoon coffee breaks, and two dinners.
Accommodations are not included):
- Advanced booking price: $700 (if a place is booked and the course fees
are paid by February 15th, 2004).
- Normal price: $800 (if a place is booked and the course fees are paid
after February 15, 2004)
Please use the web page to register online at:
<http://www.ils.unc.edu/DCHP/>http://www.ils.unc.edu/DCHP/
or
for registration questions, contact:
Ms. Lara Bailey
School of Information and Library Science
Manning Hall CB#3360
University of North Carolina at Chapel Hill
Chapel Hill, NC 27599-3360
Phone: 919.962.8366
Fax: 919.962.8071
ljbailey@email.unc.edu
For course content questions, contact:
Dr. Helen R. Tibbo
School of Information and Library Science
Manning Hall CB#3360
University of North Carolina at Chapel Hill
Chapel Hill, NC 27599-3360
Phone: 919.962.8063
Fax: 919.962.8071
Tibbo@ils.unc.edu
Dr. Helen R. Tibbo, Professor
School of Information and Library Science
201 Manning Hall
University of North Carolina at Chapel Hill
Chapel Hill, NC 27599-3360
tibbo@ils.unc.edu
Tel: 919.962.8063
Fax: 919.962.8071
--[3]------------------------------------------------------------------
Date: Sat, 07 Feb 2004 07:53:08 +0000
From: "ICECCS 2004" <iceccs@------------.dsi.unifi.it>
Subject: Conference and Worshop on Complex Computer Systems
IEEE International Conference on
Engineering of Complex Computer Systems,
IEEE ICECCS, Florence, Italy, 14-16 April, 2004
http://www.dsi.unifi.it/iceccs04
_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_
Workshop on Software and Complex Systems, WSCS
14th April 2004 , Florence , Italy
This workshop will concentrate on how Software Technologies and Distributed
Systems can help in the design and management of complex systems, linking
industrial and academic partners, research and application.
organised by:
- European Commission, DG INFSO D3, INFSO, Software Technologies and
Distributed Systems.
- DISIT-DSI, Distributed Systems and Internet Technology,
Department of Systems and Informatics, University of Florence
http://www.dsi.unifi.it/iceccs04/ec-workshop.htm
Chaired by:
José-Luis Fernández-Villacañas, Paolo Nesi, Alessandro Fantechi
_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_
Topic Areas: related to complex computer-based systems, including the
causes of
complexity and means of avoiding, controlling, or coping with complexity.
Topic areas includes, but are not limited to:
* System and software architecture and system engineering
* Tools, environments, and languages for complex systems
* Formal methods and approaches to manage and control complex systems
* Integration of heterogeneous technologies
* Software and system development and control processes for complex systems
* Human factors and collaborative aspects
* Interoperability and standardization
* Systems and software safety and security
* Industrial automation, embedded and/or real time systems
* Content production and distribution systems, mobile and multi-channel
systems
* Software complexity visualization
* Virtual environments for managing complexity
_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_
--[4]------------------------------------------------------------------
Date: Sat, 07 Feb 2004 07:53:47 +0000
From: Methods for Modalities <m4m@uva.nl>
Subject: ESSLLI 2004: Preliminary Announcement
=======================================================================
ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004
Preliminary Announcement
ESSLLI 2004
Nancy, France 9-20 August, 2004
=======================================================================
ESSLLI 2004, the 16th European Summer School in Logic, Language and
Information will be held in Nancy, France 9-20 August, 2004. It is
being hosted by LORIA (the Laboratoire lorrain de recherche en
informatique et ses applications) and will be held on the Campus
Scientifique of the University of Nancy 1 (University Henri Poincare).
ESSLLI is the annual summer school of FoLLI, the European Association
for Logic, Language and Information. Like previous ESSLLIs, ESSLLI
2004 will offer a two week program of foundational lectures,
introductory lectures, advanced lectures, and workshops. All in all,
48 lectures and workshops will be offered. You can find more
information, including a timetable, at the ESSLLI 2004 website:
Registration for ESSLLI 2004 is not yet open, but on this website you
will already find preliminary information about registration,
accomodation and prices. An email announcement will be sent around
when registation opens.
We look forward to seeing you in Nancy this August!
Carlos Areces, Patrick Blackburn (for the organising committee)
Helene Kirchner (Director of Loria)
=======================================================================
--[5]------------------------------------------------------------------
Date: Sat, 07 Feb 2004 07:55:17 +0000
From: Natasha Alechina <nza@Cs.Nott.AC.UK>
Subject: CfP Workshop of guarded logics ESSLLI'04
WORKSHOP ON GUARDED LOGICS: PROOF TECHNIQUES AND APPLICATIONS
9 - 13 August 2004
organized as part of
European Summer School on Logic, Language and Information (ESSLLI 2004)
(http://esslli2004.loria.fr/)
9 - 20 August 2004 in Nancy.
Workshop organizer: Natasha Alechina
Workshop purpose
It's been almost ten years since Andreka, van Benthem and Nemeti proved
decidability of the guarded fragment of first order logic. Given how natural
and expressive guarded quantification is, this result gave logicians a
powerful tool of proving decidability of many formalisms arising in computer
science applications, and generated much research into extensions of the
guarded fragment to fixed point logic, transitive guards etc. A wealth of
new proof techniques developed as a result. The workshop intends to bring
this research together for the benefit of advanced logic and computer
science PhD students interested in the area, and use a mixture of invited
and contributed talks to cover both the new proof techniques and the
relevance of guarded quantification for applications of logic in computer
science.
Workshop details
[material deleted]
About ESSLLI-2004: http://esslli2004.loria.fr/
About the workshop: http://www.cs.nott.ac.uk/~nza/GF04/
</x-flowed>
This archive was generated by hypermail 2b30 : Fri Mar 26 2004 - 11:19:41 EST