|
You are here:
AiML.NET :
News : News 1999
This page lists entries to the AiML News page submitted during 1999. To visit
the current news page, click here.
- October
26, 1999: Call for Papers: Workshop on Coalgebraic Methods in Computer
Science (CMCS'2000)
-
State-based dynamical systems as found
throughout computing science are traditionally described as transition
systems or certain kinds of automata. During the last decade, it has become
increasingly clear that such systems can be captured uniformly as
so-called ``coalgebras'' (which are the formal dual of algebras). Coalgebra
is beginning to develop into a field of its own , with its own proof-methods
(involving bisimulations and invariants). This workshop will be devoted to
both an introduction to basic coalgebraic not ions and techniques, and also
to some recent advances in the theory of coalgebras.
We are looking for participants and contributed talks to this informal workshop on both the
theory and the use of coalgebras in computer science.
The workshop will consist of two days, preceding the ETAPS conference (25-26 March, 2000) at the Technical University of Berlin.
Scope:
the theory of coalgebras (including set theoretic and categorical
approaches);
coalgebras as computational and semantical models (for programming
languages, dynamic systems, etc.);
coalgebras in (functional, object-oriented, concurrent) programming;
coalgebras and data types;
(coinductive) definition and proof principles for coalgebras (with
bisimulations or invariants);
coalgebras and (hidden-sorted) algebras;
coalgebraic specification and verification;
coalgebras and (modal) logic
Organization: Bart Jacobs (Nijmegen), Horst Reichel(Dresden), Jan Rutten (CWI, Amsterdam) and Larry Moss (Bloomington, IN).
Program Committee: H. Peter Gumm (Marburg), Bart Jacobs (Nijmegen),
Ugo Montanari (Pisa), Larry Moss (Bloomington, IN), Ataru T. Nakagawa (Tokyo), John Power (Edinburgh), Horst Reichel (Dresden), Jan Rutten (CWI, Amsterdam).
The following dates are important for submission to the ENTCS volume.
3 January 2000: deadline for submissions.
11 February 2000: notification of acceptance.
3 March 2000: final version.
25-26 March 2000: workshop, where a printed version of the ENTCS
issue will be available for participants.
(25 March - 2 April, 2000: ETAPS conference).
The ideal submission is not longer than 20 pages, and gives a clear exposition
of the relevant ideas. It can be sent by email to:
Horst Reichel.
- October
21, 1999: First Call for Papers for AiML-ICTL 2000
- Visit the
AiML workshops page for the details.
- September 9,
1999: PhD Scholarship available at Victoria University of Wellington
-
Subject: Logic and Computation
Contact for enquiries: Prof Rob Goldblatt, School of Mathematical and
Computing Sciences, E-mail: Rob.Goldblatt@mcs.vuw.ac.nz,
Phone: +64-4-463-5660, Fax: +64-4-463-5045, or Dr Ed Mares, Department
of Philosophy, Email: Edwin.Mares@vuw.ac.nz, Phone:
+64-4-463-5233, extn: 8647.
Summary: Victoria University has a strong inter-disciplinary group in
Logic, involving staff from Computer Science, Mathematics, and Philosophy.
Information about the members of this group and their activities can be
found at http://www.mcs.vuw.ac.nz/~neil/logic/.
We seek to recruit a PhD student who will undertake research in an aspect
of philosophical, mathematical or computational logic. Areas in which
supervision will be available include
Intensional and Non-Classical Logics, including topics such as Modal
Logic, Relevant Logic and Constructive Logic;
Computational Logic, including topics such as Program Refinement,
Automated Reasoning, and Program Specification and Verification.
Algebraic and Categorical Logic;
Non-Standard Analysis;
Model Theory and Set Theory;
Value: NZ$12,000 per annum plus tuition fees
Closing date for application: 1 October 1999. Study begins in
2000.
- September 9,
1999: Addition to the ENRAC debate on Modal Logic
- Joe Halpern
has now contributed to the ENRAC debate on Modal Logics in KR (see
http://www.ida.liu.se/ext/etai/rac/ ). Halpern's note `On the Adequacy of
Modal Logic' is available by web browser in the two current paper sizes at
the following locations. http://www.ida.liu.se/ext/etai/rac/notes/1999/03/letter.ps
http://www.ida.liu.se/ext/etai/rac/notes/1999/03/a4.ps.
- May 25, 1999:
Research Position available. Leipzig University, Department of Computer
Science; Research field: Modal and Description Logic.
- The
Department of Computer Science at Leipzig University invites applications
for a position within a research project funded by the Deutsche
Forschungsgemeinschaft (DFG). The position is initially available for two
years, starting from September 1999. It provides a salary corresponding to
BAT IIa (according to the German payscale system). A PhD is required, in
principle; however, applicants with a very good advanced degree will be
considered as well. Applicants should have experience in Modal and/or
Description Logic. The project is concerned with the application of
techniques developed in Modal Logic to problems in Description Logic and
vice versa. Combinations of modal and description logics will be
investigated as well.
The research project will be carried out in cooperation with Prof. Baader
(Aachen University of Technology).
For further information please contact: Frank Wolter, email: wolter@informatik.uni-leipzig.de
Applications should be sent (preferably by email and before July 1) to:
Frank Wolter, University of Leipzig, Institut fuer Informatik,
Augustus-Platz 10-11, 04109 Leipzig, Germany. Email: wolter@informatik.uni-leipzig.de
- April 29, 1999:
M4M: Final Call for Participation
- The workshop `Methods for
Modalities' (M4M) aims to bring together researchers interested in
developing proof tools and decision methods for modal logic broadly
conceived, including description logic, feature logic, temporal logic. See
the M4M home page for
further details.
- March 25, 1999:
Two PhD Studentships in Logic and Theorem-Proving
- Two EPSRC
funded PhD studentships are available in the Logic and Computation Group in
the Department of Computing and Mathematics at the Manchester Metropolitan
University. The studentships are available from mid 1999 for up to 3 years
with a grant 6455 pounds per annum, payment of fees (EU rate) for three
years plus travel money for attending conferences and workshops.
Both projects will take place within the Logic and Computation research
group, one of the most active and successful groups within the University
and well known internationally. Background information on the group's
activities can be found at http://www.doc.mmu.ac.uk/RESEARCH/LoCo/LoCo.html.
For more details on the studentships see http://www.doc.mmu.ac.uk/STAFF/R.Schmidt/advertjoint.html,
or contact either Dr Renate Schmidt (R.A.Schmidt@doc.mmu.ac.uk) or
Dr Clare Dixon (C.Dixon@doc.mmu.ac.uk).
Applications should arrive before 4 May 1999.
- February 23,
1999: Style files and formatting instructions for AiML, Volume
2
- The formatting instructions for preparing your
contributions to Advances in Modal Logic, Volume 2 are available on
our volumes page.
- February 22,
1999: Methods for Modalities (M4M): Call for Submissions
- The
workshop `Methods for Modalities' (M4M) aims to bring together researchers
interested in developing proof tools and decision methods for modal logic
broadly conceived, including description logic, feature logic, temporal
logic. See the M4M home page
for further details.
- January 12, 1999:
FLoc'99 Workshop `IMLA: Intuitionistic Modal Logic and Applications', July
6, 1999, Trento, Italy
- IMLA is a one-day workshop intended to
seed a more concerted organisation of the ongoing research in the area of
IML, bringing together the method-oriented and the problem-oriented
approaches on the one hand, and the proof-theoretic and model-theoretic
ones on the other. This will create fruitful research stimuli through the
friction between engineering applications and pure theory, and between
intensional and extensional lines of thinking.
Consult the workshop web site at http://www.dcs.shef.ac.uk/~matt/mendler/floc-ws.html
for further details.
|
|
