BLC Newsletter March 2004


BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.cs.bham.ac.uk/~exr/blc

President           Professor J B Paris FBA [Manchester]
Vice-President      Professor J M E Hyland [Cambridge]
Treasurer           Dr R Dyckhoff [St Andrews]
Secretary           Dr M Dzamonja [East Anglia]
                    Professor D Macpherson [Leeds]
                    Dr E Ritter [Birmingham]
                    Professor T Williamson FBA FRSE [Oxford]

---------------------------------------------------------
Dear members,

Before I give you the usual list of announcements, let me
pass on a message from our Treasurer.

There have been some odd payments to our account.
Our bank statements record payments mostly by name, but there are two=20
that he can't relate to names:

from a/c number 80192368, at bank with sort code 208441 (Barclays, Swansea)

 From W412918601, at bank unknown.

Any members to whom these relate are asked to let the Treasurer know.


I would also like to state separately the first announcement of our
Annual Meeting. It will be held in Leeds from 6-8 of September.
Watch the web site http://www.cs.bham.ac.uk/~exr/blc/blc-meetings.html
for further announcements!

Finally, I enclose an  announcement  about a visit by
Professor Michael Rabin , from  Harvard University. He is currently
visiting  Kings College London , as the Alonzo Church visitng professor.
He will give  a public lecture  at King's college  on March 24th.
Please see the attached poster for details.

Now for the rest of the newsletter:

(1) Logic Seminars in Leeds


(2) UNIVERSITEIT VAN AMSTERDAM
Interdisciplinary and international MSc programme in Logic
http://www.illc.uva.nl/gpil/

(3) Call for Registration
                          ESSLLI 2004
                Nancy, France 9-20 August, 2004

(4) History and Philosophy of Logic special subscription rates for
BLC members

(5) GEOMETRIC TOPOLOGY, DISCRETE GEOMETRY AND SET THEORY
conference at Moscow between 24 - 28 August, 2004.

(6) LICS Newsletter

(7) Patterns of Scientific Reasoning
Adaptive and Interrogative Perspectives

International Workshop
Thursday 6 - Saturday 8 May, 2004

    and=20
CombLog'04
Workshop on Combination of Logics: Theory and Applications
July 28-30, 2004- CLC, Department of Mathematics, IST, Lisbon, Portugal


Best wishes to all, Mirna.

-------------------------------------------------------------------
------------------------------------------------------------------
(1)

=20
                           UNIVERSITY OF LEEDS
                      Department of Pure Mathematics
                        MATHEMATICAL LOGIC SEMINAR
                                Spring 2003

January 14th Sergei Tupailo (Leeds) Some open problems in proof theory

Feb 4th Anton Setzer (Swansea) The \Pi_3-reflecting universe

Feb 11th 2 pm Assaf Hasson (Jerusalem) Interpreting structures of finite Mo=
rley=20
          rank in strongly minimal structures.=20

         4 pm Mikhail Taitslin (Tver State University, visiting Oxford)=20
          Collapse results in database theory

Feb 18th Angus Macintyre (Edinburgh) Schanuel's conjecture; logical aspects

March 3rd Katie Chicot (Leeds) Countable 1-transitive trees

March 10th Michael Rathjen (Leeds) Exotic Principles in Intuitionistic Set=
=20
          Theory

March 17th Abbas Edalat (Imperial) Domain Theory and Multi-Variable=20
          Differential Calculus

     Except for the extra lecture on February 11th, the lectures will be he=
ld=20
on Wednesdays at 4 pm in room H, Mathematics building. Tea at 3.30 pm. Plea=
se
note that because there is likely to be strike action on February 25th by
AUT members, I have moved the seminar scheduled for that date to the follow=
ing
week, and the speaker has kindly agreed.=20

                          J. K. Truss
(2)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D
Please distribute among potentially interested students.
The canonical candidate for the M.Sc. Programme of Logic
has a B.A. degree (or equivalent credentials) in either
mathematics, philosophy, linguistics or computer science
and is strongly interested in an interdisciplinary
approach to logic.
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D

UNIVERSITEIT VAN AMSTERDAM
Interdisciplinary and international MSc programme in Logic
http://www.illc.uva.nl/gpil/

  The English-language MSc programme in Logic is a two-year international
programme that has been in existence for nine years. The programme is
organized by the Institute for Logic, Language and Computation (ILLC), an
interdisciplinary institute with members from computer science,
philosophy, cognitive science, (computational) linguistics and
mathematics.

  The MSc programme reflects these interdisciplinary aspects. Students
enter with a bachelor's degree in mathematics, philosophy, linguistics,
computer science, AI or other neighbouring fields. Students can choose one
of four specialisations:

(*) Logic and Mathematics
(*) Logic and Computation
(*) Logic and Philosophy
(*) Logic and Language

  Students can thus keep in touch with their original major while
simultaneously enjoying common goals and interests with students from a
wide variety of backgrounds.

---Student profile---

The student should be fluent in formal reasoning. Students must
demonstrate affinity with mathematical thinking and some familiarity with
mathematical proofs. Students with a European bachelor in mathematics,
computer science, philosophy or linguistics will be accepted
automatically.  Other students will be judged according to their academic
record and motivation.

Motivated students with an excellent academic record may request waivers,
which could enable them to finish the programme in one year.

---Tuition fee 2004---

(*) EU/EEA students: EUR 1,476=20
(*) Non EU/EEA students: EUR 4,500=20

---English proficiency---

(*) minimum TOEFL score: 550 (213 for the computer based test)

---Application---

Please contact the programme manager or visit the programme webpage for an
application form.  For practical reasons, students should apply before
March 15. After this date we will not be able to guarantee housing and
timely visa application.

Programme Director: Prof. Dr. Dick de Jongh
Programme Coordinator: Dr. Benedikt L=F6we
Programme Manager: Amanda Collins 

(3)


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004=20

                     Call for Registration

                          ESSLLI 2004

                Nancy, France 9-20 August, 2004
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Registration for ESSLLI 2004, the 16th European Summer School in
Logic, Language and Information, is now open. To register go to:

   http://esslli2004.loria.fr

click on the registration button, fill out the online form, print out
the result, and fax (or surface-mail) it in.=20

As well as registering, you can use the same form to reserve student
accomodation and book lunch tickets (the lunch menu is available on
the ESSLLI 2004 website). =20

Please note: we can only guarantee 360 student accomodation places,
and these will be distributed on a first-come-first-served basis.
Also, please note that the deadline for early registration is

   May 1st 2004.

We look forward to seeing you in Nancy this August!

Carlos Areces, Patrick Blackburn  (for the organising committee)
Helene Kirchner (Director of Loria)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004 ESSLLI 2004
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

(4)
Taylor & Francis
extend the special subscription rates for the journal History and
Philosophy of Logic to members of the BLC for 2004.  The price
remains at 44 GBP for the time being, but please note that prices are
subject to change at any time and are only valid for personal
(i.e. non-library) subscriptions.
    www.tandf.co.uk/journals
See also the BLC website

(5)


Russian Academy of Sciences (RAS) and Moscow State University (MSU)
will hold an International Conference on
GEOMETRIC TOPOLOGY, DISCRETE GEOMETRY AND SET THEORY
at Moscow between 24 - 28 August, 2004.

IN CELEBRATION OF THE CENTENNIAL of Ljudmila Vsevolodovna Keldysh

Organizing and Scientific Committee.

Chairman: Sergey Novikov (RAS)
Vice-Chairmen:
A.V. Chernavsky (MSU),
E.V. Shchepin (Steklov Institute)

Scopes and Themes.

The conference will cover the areas of L.V. Keldysh^=D2s s
cientific interests as well as some modern development
in geometry, topology, and set theory.

There will be four sections:

Geometric Topology (A.V.Chernavsky , E.V. Shchepin)

Set Theory (V.V. Fedorchuk, V.G. Kanovei, V.A. Lyubetsky)

Topology of Low Dimensions (S.V.Matveev)

Combinatorial geometry and algebraic topology (V.M.Buchstaber)

Conference Format.

Invited one-hour speakers for the General Plenary Sessions
(by the invitation from the Organizing and Scientific Committee).

Invited 45-min speakers for the Thematic Plenary Sessions
(by the invitation from the Organizers of the Thematic Sessions).

Contributed 20-min talks
(by the selection of the Organizers of the Thematic Sessions).

Support.

The Organizers will arrange for a visa and transfer from and
to Sheremetevo airport for all Western participants.

Unfortunately Russian scientific institutions have very limited
funds of financial support of participants,
and therefore those willing to participate in the Conference
are encouraged to apply for Western foundations.

The Organizers will provide suitable official letters in
support of such applications if necessary.

Accommodation.

A limited number of participants can be accommodated
at "STUDENT HOUSE", the dormitory located directly in the main
building of the Moscow State University.

It offers blocks consisting of two small rooms;
each block is equipped with a shower and a toilet.

Prices range $15 - $20

For details see

http://www.msu.ru/english/info/host/ds.htm

Accommodation at nearby hotels at all levels of comfort
is an alternative but more expensive option.

Normally the hotels require the reservations to be made
in a centralized way through our Organizing Committee.

Call for abstracts.

Please email your abstracts (latex) to 1.May 2004

keldysh-100@mi.ras.ru

Correspondence and Information.

Postal Address: LVKeldysh-100 Conference,

Steklov Mathematical Institute, Gubkin str. 8,

119991, Moscow, Russia

Electronic Address: keldysh-100@mi.ras.ru

Website: http://keldysh-100.mi.ras.ru/

Further information: http://keldysh-100.mi.ras.ru/


(6)


******************************************************************* =20
* Past issues of the newsletter are available at
  http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
  can be found at=20
  http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html
*******************************************************************


TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
  ICGT 2004 - Call for Papers
  Structural Operational Semantics - Call for Papers
  QUEST 2004 - Call for Papers
  Workshop on Disproving - Call for Papers
  SAT-2004 - Call for papers
  JELIA'04 - Call for Papers
  ESORICS 2004 - Call for Papers
  ARSPA 2004 - Call for Papers
* SPECIAL EVENTS
  International Logic and Computer Science Semester at Tel-Aviv - Call
    for Participation
* NEW JOURNAL ANNOUNCEMENT
  Annals of Mathematics, Computing & Teleinformatics (AMCT)
* VACANCIES
  Senior research positions in Logic and Computation, National ICT, Austral=
ia


2ND INTERNATIONAL CONFERENCE ON GRAPH TRANSFORMATION (ICGT 2004)
  Call for Papers
  Roma (Italy), September 28 - October 2, 2004
  http://icgt2004.dsi.uniroma1.it
* Scope.  Graphical structures of various kinds (like graphs, diagrams,
  visual sentences and others) are very useful to describe complex
  structures and systems in a direct and intuitive way. These structures
  are often augmented by formalisms which add to the static description
  a further dimension modelling the evolution of systems via any kind of
  transformation of such graphical structures. The field of Graph
  Transformation is concerned with the theory, applications and
  implementation issues of all these formalisms.
  The theory is strongly related to areas such as graph theory and graph
  algorithms, formal language and parsing theory, theory of concurrency
  and distributed systems, formal specification and verification, logic
  and semantics. The application areas include all those fields of
  Computer Science, Information Processing, Engineering and Natural
  Sciences where static and dynamic modeling by graphical structures and
  graph transformations, respectively, play an important role.
* Paper submission will be electronic by PDF or PostScript. Detailed
  information on the conference website.
  Title and abstract submission deadline:   April 19, 2004
  Complete paper submission deadline:       April 26, 2004
  The proceedings will appear in the Lecture Notes in Computer Science
  series by Springer-Verlag.
* Program committee. M.Bauderon (FR), D.Blostein (CA), A.Corradini (IT),
  H.Ehrig (DE), G.Engels (co-chair; DE), R.Heckel (DE), D.Janssens (BE),
  H.-J.Kreowski (DE), B.Koenig (DE), B.Meyer (AU), U.Montanari (IT),
  M.Nagl (DE), F.Orejas (ES), F.Parisi-Presicce (co-chair; USA/IT),
  M.Pezze' (IT), J.Pfaltz (USA), R.Plasmeijer (NL), D.Plump (UK),
  L.Ribeiro (BR), G.Rozenberg (NL), A.Schuerr (DE), G.Taentzer (DE),
  G.Tortora (IT), G.Valiente (ES)


STRUCTURAL OPERATIONAL SEMANTICS
  A Satellite Workshop of CONCUR 2004=09=09=09=20
  30 August, 2004, London, United Kingdom
  Call for Papers
* Structural operational semantics (SOS) provides a framework=20
  for giving operational semantics to programming and specification=20
  languages.  A growing number of programming languages from=20
  commercial and academic spheres have been given usable semantic=20
  descriptions by means of structural operational semantics.=20
  Because of its intuitive appeal and flexibility, structural=20
  operational semantics has found considerable application in=20
  the study of the semantics of concurrent processes.  Moreover,=20
  it is becoming a viable alternative to denotational semantics=20
  in the static analysis of programs, and in proving compiler=20
  correctness.
* The proposed SOS workshop aims to be a forum for researchers,=20
  students and practitioners interested in new developments and=20
  directions for future investigation in the field of structural=20
  operational semantics. One of the specific goals of the workshop is=20
  to establish synergies between the concurrency and programming=20
  language communities working on the theory and practice of SOS.    =20
*  We solicit unpublished papers reporting on original research on=20
  the general theme of SOS. Prospective authors are invited to submit=20
  a pdf or postscript file with their extended abstract, whose length=20
  should not exceed 15 pages, by email to all of the co-chairs at their=20
  respective email addresses. The email message with the submission=20
  should also include, in plain text, contact information for=20
  the author(s), together with the title and abstract of the submission. =
=20
  Submissions are to be received by Sunday, 6 June, 2004. Authors will=20
  be notified of acceptance by Wednesday, 30 June, 2004.=20
* Submission deadline: Sunday 6 June 2004
* For further details see:
  http://www.cs.auc.dk/~luca/SOS-WORKSHOP/


1st INT. CONFERENCE ON QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2004)
  Call for Papers
  University of Twente, the Netherlands, Sep 27 - 30, 2004.
  http://www.qest.org
* Theme: QEST is a new series of annual conferences that recently emerged=
=20
  as the merger of the following individual conferences:
    - Int. Conf. on Modeling Techniques and Tools for Computer Performance
      Evaluation (TOOLS),
    - the Int. Workshop on Petri Nets and Performance Models (PNPM),
    - the Joint Int. Workshop on Process Algebras and Performance Modeling
      and Probabilistic Methods In Verification (PAPM-ProbMIV).
* Subject: all kinds of evaluation and verification of computer and
  communication systems, through measurements and stochastic models, possib=
ly
  incorporating non-deterministic behaviour.  Topics of interest cover the
  areas of modelling formalisms and methodologies, measurements, analytical=
=20
  and numerical evaluation, simulation and verification, and theory of =20
  probabilistic systems.  Moreover, tools for supporting the practical   =
=20
  application of research results in all the above areas, and case studies
  showing the practical applicability of such results are also explicitly
  addressed.
* All submissions must be done electronically; see the conference webpage
* Submission deadline: March 22 (abstract), March 29 (full paper)
* General chair: Boudewijn Haverkort (NL); PC co-chairs: Giuliana Frances-
  chinis (I), Joost-Pieter Katoen (NL), and Murray Woodside (CND).
* Tool demo chair: Andrew Miner (USA)
* Tutorial chair: Marco Bernardo (Italy)


WORKSHOP ON DISPROVING - NON-THEOREMS, NON-VALIDITY, NON-PROVABILITY
  (affiliated with IJCAR 2004)
  Call for Papers
  Cork, Ireland, July 4, 2004
  http://www.cs.chalmers.se/~ahrendt/ijcar-ws-disproving/
* Theme: Disproving aims at identifying non-theorems, i.e. showing
  non-validity, and providing some kind of proof of non-validity.
  In the scope of the workshop is every method that is able to discover
  non-theorems and, ideally, provides explanation why the formula is not a
  theorem. Possible subjects are decision procedures, model generation
  methods, reduction to SAT, formula simplification methods, abstraction
  based methods, failed-proof analysis, and others.
* All submissions must be done electronically. Details will be announced
  in due time on the workshop web page.
* Submission Deadline: April 18, 2004
* Workshop Organizers: Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle
* Program committee: Chris Fermueller, Uli Furbach, Bernhard Gramlich,
  Deepak Kapur, Bill McCune, Renate Schmidt, Carsten Schuermann,
  Graham Steel, Cesare Tinelli, Andrei Voronkov, and the WS organizers


Conference on Theory and Applications of Satisfiability Testing (SAT-2004)
  Call for Papers
  Vancouver, 10-13 May 2004
  http://www.satisfiability.org/SAT04/
* The International Conference on Theory and Applications of             =
=20
  Satisfiability Testing is the primary annual meeting for researchers=20
  studying the propositional satisfiability problem (SAT). We welcome=20
  submissions on SAT from any discipline with an interest in=20
  the problem, including theoretical, experimental and applied work.=20
  Topics include: Proof Systems and Proof Complexity; Search Algorithms=20
  and Heuristics; Analysis of Algorithms; Hard Instances ; Random Formulas;
  Problem Encodings; Industrial Applications; Solvers and other tools
* Submissions are to be extended abstracts of at most 8 pages in=20
  Springer-Verlag LNCS style.  Submission is online through the=20
  conference web page.  Submission of SAT and QBF solvers and=20
  benchmark instances are also welcome.
* Submission deadline is February 20; Authors are asked to register=20
  by February 10.
* Conference Organizers: David Mitchell (Simon Fraser University)=20
  and Holger Hoos (University of British Columbia).
* Sponsors: Intel, PIMS, IISI, CoLogNet=20


9TH EUROPEAN CONFERENCE ON LOGICS IN ARTIFICIAL INTELLIGENCE - JELIA'04
  Lisbon, Portugal, September 27-30
  Call for Papers
* Submission deadline: May 9th (abstracts due May 6th)
* For further details see:
  http://centria.di.fct.unl.pt/~jelia2004
 =20

9TH EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY - ESORICS 2004
  Institut Eurecom, Sophia Antipolis, French Riviera, France
  September 13-15, 2004=20
  Call for Papers
* Submission deadline: March 26 2004
* For further details see:
  http://esorics04.eurecom.fr =20


Automated Reasoning for Security Protocols Analysis - ARSPA 2004
  IJCAR 2004 Workshop W6
  University College Cork, Ireland
  Sunday, July 04, 2004
  Call for Papers
* Submission deadline: April 15, 2004
* For further details see:
  http://www.avispa-project.org/arspa


INTERNATIONAL LOGIC AND COMPUTER SCIENCE SEMESTER AT TEL-AVIV
  Call for Participation
* Models of Computation (March 10-12)
  Including lectures (subject to change) by:
    Samson Abramsky (Oxford)
    Bob Constable (Cornell)
    Felix Costa (Lisbon)
    Janos Makowsky (Technion)
    Nissim Francez (Technion)
    Doron Peled (Warwick)
    Gordon Plotkin (Edinburgh)
    Hilary Putnam (Harvard)
    Vladimir Sazonov (Liverpool)
    Udi Shapiro (Weizmann)
    Boaz Trakhtenbrot (Tel Aviv)
* Logic and Computation (March 17-19)
  Including lectures (subject to change) by:
    Sergei Artemov (Graduate Center CUNY)
    Mel Fitting (CUNY)
    Haim Gaifman (Columbia U)
    Zurab Khasidashvili (Intel Haifa)
    Daniel Lehmann (Hebrew U)
    Zohar Manna (Stanford)
    Anatol Slissenko (Paris)
    Mars Valiev (Moscow)
* Registration is free.
* Please send titles notification of intent to participate (by March 1)=20
  to one of the following:
    Logic and Computation Program Chair: Arnon Avron (aa@tau.ac.il)
    Organizing Committee Chair: Nachum Dershowitz (nachumd@tau.ac.il)
    Models of Computation Program Chair: Alex Rabinovich (rabinoa@tau.ac.il=
)
* Web site (for further details, as they develop):
  http://www.cs.tau.ac.il/~nachumd/semester.html
* Of Related Interest:
  March 23-29: Symposium on Cardinal Arithmetic at Work (in Jerusalem)
    See http://www.as.huji.ac.il/midrasha04.htm
  April 28, 16:00: Lecture by Yuri Gurevich (Microsoft) at Tel Aviv Univers=
ity


ANNALS OF MATHEMATICS, COMPUTING & TELEINFORMATICS (AMCT)
  http://journals.teilar.gr/amct
* AMCT publishes original, high quality, refereed papers in the broad area
  indicated by its title. It emphasizes a balanced coverage of both theory=
=20
  and practice, publishing both basic and applied research results, as well=
=20
  as papers on novel technological applications. Due to its diverse and amp=
le=20
  scope, AMCT is divided into five broad Sections=20
    Computational Intelligence
    Software Engineering and Project Management
    Networking and Information Systems
    Computational Mathematics and Theory of Computing
    Emerging Applications of Computing
* To submit a paper for publication, authors may send an e-mail to=20
  amct@teilar.gr. Please do read the author instructions first, at the web=
=20
  site of the journal:
    http://journals.teilar.gr/amct
* The Annals of Mathematics, Computing & Teleinformatics (AMCT) is an annua=
l
  publication with international scope, available in both electronic and pa=
per
  format, published as a Section of the TEI\L Scientific Annals=20
  (TEI Larissa, Greece). It supports fully electronic procedures of paper=
=20
  submission and refereeing. It is published, in english, by the TEI\L, on=
=20
  a non-profit basis. Copies of the printed issues are distributed to major=
=20
  libraries around the world. New issues appear every last month of the yea=
r.=20


SENIOR RESEARCH POSITIONS IN LOGIC AND COMPUTATION
  Senior Researcher/Principal Researcher/Senior Principal Researcher
  (two permanent positions in the Canberra laboratory)
  Logic and Computation Program
  National ICT Australia
* For details see advertisement under Positions Vacant at http://nicta.com.=
au
  Enquiries to John Slaney (John.Slaney@nicta.com.au)
* Closing date: 16 April 2004.

(7)


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
CALL FOR PAPERS

Patterns of Scientific Reasoning
Adaptive and Interrogative Perspectives

International Workshop
Thursday 6 - Saturday 8 May, 2004
Ghent University, Belgium

http://logica.UGent.be/VlaPoLo9/=20

This workshop is organized by the Centre for Logic and Philosophy of=20
Science  of Ghent University=20
, together with its partners in the Bilateral=20
Scientific and Technological Cooperation Project BIL01/80 funded by the=20
Science, Innovation and Media Department of the Ministry of the Flemish=20
Community (Belgium) and by the State Committee for Scientific Research=20
of the Republic of Poland.
The partners in this project are: Centre for Logic and Philosophy of=20
Science (Free University of Brussels), the Chair of Logic and Philosophy=20
of Science (University of Zielona Gora) and the Group of Logic and=20
Cognitive Science (N. Copernicus University Torun).

Program Committee:
Diderik Batens, Adam Grobler, Joke Meheus, Jerzy Perzanowski, Jean Paul=20
Van Bendegem, Erik Weber and Andrzej Wisniewski.

Keywords:
dynamic aspects of reasoning, problem solving, heuristics, scientific=20
discovery and creativity, scientific explanation, ampliative reasoning,=20
model-based reasoning, diagrammatic reasoning, induction, abduction,=20
analogies, metaphors, thought experiments, scientific imagination,=20
adaptive logics, erotetic logics, non-monotonic logics, paraconsistent=20
logics, inconsistency-handling mechanisms

Outline:
Traditionally, the role and function of logic with respect to science=20
was mainly seen as related to the organization of knowledge in theories,=20
and to the inference of predictions from theories together with=20
observational data. During the last thirty years or so, awareness has=20
grown that this view is extremely one-sided: logic should, for instance,=20
also enable one to explicate the reasoning processes that lead to new=20
scientific results.

In the philosophy of science, attention has gradually shifted from=20
products to processes. This shift led, for example, to the study of=20
scientific discovery processes and other problem solving processes. It=20
also led to many contributions on the process of scientific explanation.=20
The forms of reasoning that occur in such processes impose novel=20
requirements on logic (because, for instance, they involve=20
inconsistencies or they are ampliative in nature or they rely on=20
non-verbal representations). In view of this, the traditional approach=20
to logic needs to be supplemented with new viewpoints as well as with=20
new instruments. Moreover, according to many, classical logic has to be=20
replaced in the present context.

The traditional study of abstract relations and properties, such as=20
derivability and theoremhood, or semantic consequence and validity, is=20
typically product-oriented and has hardly anything to offer for the=20
understanding of the aforementioned reasoning processes. Even available=20
results on computational matters are not of much use in this respect.=20
One needs to articulate logical procedures that are suitable for=20
explicating actual human reasoning. Evidently, this articulation has to=20
be precise, and the procedures have to be philosophically justified and=20
have to be carefully studied in metatheoretic terms. However, the=20
metatheoretic properties and techniques may heavily differ from the=20
traditional ones. For example, many such procedures do not strictly fit=20
into the traditional definition of a proof.

This situation was one source of inspiration for the co-operation=20
project of which the present congress is an activity. A further source=20
of inspiration was the great promise of adaptive logics and erotetic=20
logics (and of their combination) for capturing dynamic aspects of=20
reasoning that are beyond the reach of the traditional approach to logic.

Although the four co-operating research groups have a clear and heavy=20
programme, they are convinced that their research will be richer and=20
more mature by the confrontation that this congress may provide. For=20
this reason, members of other research groups are invited to present=20
alternative approaches and to point out problems.

It is neither required nor expected that contributions are formal in=20
nature. The floor will be available for philosophers of science and=20
historians of science as well as for logicians that favour alternative=20
roads.

Call for papers:
We welcome papers on logical, methodological as well as historical=20
aspects of the dynamics of reasoning in the sciences. While most members=20
of the organizing research groups will mainly concentrate on=20
applications of adaptive and erotetic logics, this is not expected from=20
other participants. However, their contribution should be relevant for=20
the study of the dynamics of reasoning in the sciences.

Authors must submit an electronic version (PostScript, pdf or ms-word)=20
of their abstract (max. 1000 words) to Leen.DeVreese@UGent.be=20
 before 15 March 2004. Abstracts received=20
will be acknowledged by e-mail. All abstracts will be carefully=20
refereed. Abstracts will be handled in order of arrival, and authors=20
will be informed about the decision as soon as possible and not later=20
than 1 April 2004.

Further information:
http://logica.UGent.be/VlaPoLo9/=20

--=20
-----------------------------------------------------------------
----------
ATTENTION: domain "rug.ac.be" replaced by "UGent.be"
----------
-----------------------------------------------------------------
Joke Meheus      http://logica.UGent.be/joke/=20
Wijsbegeerte
Universiteit Gent                      tel.: (++ 32) 09 264 37 86
Blandijnberg 2                         fax : (++ 32) 09 264 41 87
B-9000 Gent (Belgium)                   Joke.Meheus@UGent.be=20
Home:
Zeugsteeg 6, 9000 Gent, tel.: (++ 32) 09 233 91 06
------------------------------------------------------------------
Centre for Logic and Philosophy of Science:
 http://logica.UGent.be/centrum/=20
------------------------------------------------------------------
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
CombLog'04
Workshop on Combination of Logics: Theory and Applications
July 28-30, 2004- CLC, Department of Mathematics, IST, Lisbon, Portugal=20

The workshop aims to provide a forum for interaction and exchange of ideas =
among a limited number of participants in the general area of analysis and =
synthesis of logics and related topics.=20


Topics include:=20


-Different forms of composing and decomposing logics, such as fibring, fusi=
on, splicing, splitting, synchronization and temporalization
-Transference results between the whole and the component logics, such as p=
reservation of completeness, interpolation properties and decidability.
-Application domains, such as security, software specification and verifica=
tion, knowledge representation and formal ethics.

For information on  contributions and/or attendance, please  visit the webp=
age:    http://www.cs.math.ist.utl.pt/comblog04/


For further  information please contact any of the organizers:=20

Walter A. Carnielli, CLE, University of Campinas.   

Marcelo E. Coniglio, CLE, University of Campinas 

Paulo Mateus, CLC, IST, Technical University of Lisbon. 

Till Mossakowski, University of Bremen.

Am=EDlcar Sernadas (Chair), CLC, IST, Technical University of Lisbon  

=20





=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D(end)
PHILOSOPHY: PROBLEMS, AIMS, RESPONSIBILITIES

www2.warwick.ac.uk/fac/soc/philosophy/staff/miller/phpar

The second announcement was e-mailed in the new year=20
to those who have asked for their names to be included=20
in the mailing list but, because of a recently enacted=20
law regarding spam, not to other persons.=20



Finally, I enclose an important
announcement about the Marie Curie programme at the University of
Leeds and University of Manchester, jointly with 
Lyon 1 and  Lyon
Ecole Normale Superieure (France), and Ludwig Maximilians
Universitaet Munich (Germany).

Funding is available both for 3-year PhD studentships, and for
 short-term visits of at least 3 months by PhD students, with the 
Logic groups of
 the universities of Leeds and Manchester (UK), Lyon 1 and  Lyon 
Ecole Normale Superieure (France), and Ludwig Maximilians 
Universitaet Munich (Germany). 

Funding is by a European Commission Framework 6 Marie Curie 
Early Stage Training grant in Mathematical Logic and applications 
(subject to contract). Eligibility is subject to Marie Curie rules; for
example, an applicant cannot usually be hosted by an institution in 
their
home country. See http://www.maths.man.ac.uk/logic/mathlogaps, 
or contact
Dugald Macpherson (h.d.macpherson@leeds.ac.uk) for more 
information.

-------
Dr Mirna Dzamonja
Reader
School of Mathematics
University of East Anglia
Norwich, NR47TJ
UK

phone: +44-1603-592981
fax: +44-1603-593868




Home Index

+++++++++++++++++++++++++++

Page maintained by E.Ritter@cs.bham.ac.uk

Last modified: Tue Mar 9 13:14:01 GMT 2004