headers
Gavin Bierman | 2 Nov 1999 10:57
Picon
Picon
Favicon

Lectureship at Warwick University, UK.

[Warwick (which is currently ranked second in the Times Guide for UK Computer 
Science) welcomes applications from people with TYPES interests. In addition 
to an algorithms and complexity group headed by Mike Paterson, the TaPP 
(Theory and Practice of Programming) group has interests in linear logic, 
semantics, type systems, functional programming, semi-structured data, 
software verification, database query languages and security. See our group 
page at http://www.dcs.warwick.ac.uk/tapp ]

		***LECTURESHIP IN COMPUTER SCIENCE***

		  **Department of Computer Science**


The Department of Computer Science invites applications from
candidates with excellent research experience or potential, to
strengthen and complement existing  research and teaching. The
Department is undergoing a major expansion and is scheduled to move
into a new £5.4 million building in October 2000. In line with this
expansion we are seeking to appoint in most areas of computer
science, but particularly in software and systems.

The Department organizes its research in three major areas: software,
systems and applications, and theory of computation. In the software
area there are research groups in software technologies, human
computer interaction, and agent-based systems. In the systems domain
we have research groups with interests in image and signal
processing, multimedia coding, and high-performance systems. The
theory group has research activities in the semantics of programming
languages, and algorithms and complexity. Candidates with research
interests in these or complementary areas are encouraged to apply.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Roy L. Crole | 2 Nov 1999 18:55
Picon
Picon
Favicon

Research Associate Position at Leicester


Dear Colleagues,

I would be grateful if you could bring the Research Associate position
detailed below to the attention of anyone who might be interested. The
following areas are relevant to the project: automated reasoning,
category theory, formal methods, logic, types, and programming
languages.

Regards,

Roy Crole.

-----------------------------------------------------------------

		       UNIVERSITY OF LEICESTER

	    Department of Mathematics and Computer Science

           Post-Doctoral Research Associate (Ref: R9112/GD)

Applications are invited for the post of Research Associate to work on
a project funded by the EPSRC to develop Mechanized Operational
Semantics.  Applicants should have (or expect soon to have) a
Ph.D. which includes experience in either programming language
semantics or machine assisted proof. Knowledge of both areas would be
an advantage. The project will involve the coding of operational
semantics within a theorem prover such as Isabelle or HOL, and will
lead to verifications of compiler optimizations. The position is
available from January 2000 for up to three years. Salary will be on
(Continue reading)

Permalink | Reply | 0 comments |
headers
rbf | 4 Nov 1999 18:21
Picon
Picon

PhD in Informatics (AI, CS, CogSci) at Edinburgh


    PhD degrees in the Division of Informatics
    at the University of Edinburgh

In 1998, the University of Edinburgh established a Division of
Informatics, to study the structure, behaviour and
interactions of both natural and artificial computational systems.
The Division reflects the University's vision of Informatics
as a fundamental area of study, critical for the future developments
in science, engineering, and society. The Division was formed from
the former Departments of Artificial Intelligence, Cognitive
Science and Computer Science.

The Division has positions for new research degree students pursing
either an MSc(Research) (one year), an MPhil (two years) or a PhD
(three years) through investigation of open problems in Informatics.

The Division now contains about 70 academic staff, 60 contract researchers
and 150 research students, grouped primarily into these research
institutes:

        Artificial Intelligence Applications Institute
        Institute for Adaptive and Neural Computation
        Institute for Communicating and Collaborative Systems
        Institute for Computing Systems Architecture
        Institute of Perception, Action and Behaviour
        Institute for Representation and Reasoning
        Laboratory for Foundations of Computer Science

which reflect the main research themes in the Division:
(Continue reading)

Permalink | Reply | 0 comments |
headers
Alessio Guglielmi | 5 Nov 1999 10:26
Picon

Paper ann.: A Calculus of Order and Interaction

Hello,

a paper on a simple calculus for commutative/non-commutative linear 
logic is available. It has an intuitive concurrency semantics, and it 
is obtained by distillation of a few basic "physical" principles. 
Readers of "types" may be interested in the novel cut-elimination 
proof presented in the paper.

The paper is available from CoRR
<http://xxx.lanl.gov/abs/cs/9910023>
or (in color) from the page
<http://pikas.inf.tu-dresden.de/~guglielm/paper.html>

Enjoy,

Alessio Guglielmi
Department of Computer Science - Dresden University of Technology
Hans-Grundig-Str. 25                       fax +49 (351) 463 8342
D-01062 Dresden - Germany

-----------------------------------------------------------------

A Calculus of Order and Interaction

Alessio Guglielmi

System MV is a simple, propositional linear calculus that deals with 
the commutative as well as the non-commutative composition of 
structures.  The multiplicative fragment of linear logic is a special 
case of MV, and the tensor rule does not suffer from unnecessary
(Continue reading)

Permalink | Reply | 0 comments |
headers
Dave Schmidt | 5 Nov 1999 21:52
Favicon

SAS2000: First Call for Papers


*****************************************************************
*                                                               *
*                  First Call For Papers                        *
*                                                               *
*      INTERNATIONAL STATIC ANALYSIS SYMPOSIUM (SAS2000)        *
*                                                               *
*      Co-located with and immediately following LICS2000       *
*                                                               *
*           University of California, Santa Barbara             *
*                    29 June-1 July, 2000                       *
*                                                               *
*              http://www.cis.ksu.edu/santos/sas/               *
*                                                               *
*****************************************************************


Static Analysis  is  increasingly  recognized  as  a  fundamental
technique  for  high performance implementations and verification
systems of high-level  programming  languages.    The  series  of
Static  Analysis  Symposia  has  served  as the primary venue for
presentation of advances in the  area.   Previous  symposia  were
held in Venice, Pisa, Paris, Aachen, Glasgow, and Namur.

The Seventh International  Static  Analysis  Symposium  (SAS2000)
will  be  at  the  same location as and immediately following the
IEEE  Logic  in  Computer  Science  Conference   (LICS2000;   see
http://www.cs.bell-labs.com/who/libkin/lics/).  Both LICS and SAS
will be held at  the  Conference  Center  of  the  University  of
California,  Santa  Barbara,  which is situated on the beaches of
(Continue reading)

Permalink | Reply | 0 comments |
headers
Phil Scott | 6 Nov 1999 20:32
Picon

CMS Applied Logic, Announcement


Dear Colleagues:
  The Canadian Mathematical Society Annual Winter meeting in Montreal
this December has a special  session in Applied Logic and theoretical
computer science, December 11-13, 1999, organized by Wendy MacCaull,
Prakash Panangaden, and myself.  We enclose below the program.
The main one-hour speakers are:  A. Urquhart, F. Bacchus, and J. Lambek.
There are also a series of half-hour talks.

The URL's on the web are the following:

General Meeting: http://www.cms.math.ca/CMS/Events/winter99/

Applied Logic Special Session:

http://www.dms.umontreal.ca/Montreal-99/resume/logique_an.html

If you have any further questions, feel free to contact me or any
of the other organizers, or the CMS.
	
			Philip Scott 
			(phil@...)

------------------------------------------------

           Canadian Mathematical Society Winter Meeting 
           December 11-13th, 1999
        Conference Center, Renaissance Hotel du Parc
(Continue reading)

Permalink | Reply | 0 comments |
headers
Amy Felty | 8 Nov 1999 04:13
Favicon

CFP: Special Journal Issue on Logical Frameworks and Metalanguages

Since work in the area of logical frameworks has contributed to
applications and metatheory of a variety of type systems, this call
should be of interest to many readers of this list.  -- A. Felty

---------------

Call for Papers

JOURNAL OF AUTOMATED REASONING

Special issue on LOGICAL FRAMEWORKS and METALANGUAGES

Logical frameworks and meta-languages are intended as a common
substrate for representing and implementing a wide variety of logics
and formal systems.  Their definition and implementation have been the
focus of considerable work over the last decade.  At the heart of this
work is a quest for generality: A logical framework provides a basis
for capturing uniformities across deductive systems and support for
implementing particular systems.  Similarly a meta-language supports
reasoning about and using languages.

The Workshop on Logical Frameworks and Metalanguages (LFM'99) was held
as part of the colloquium on Principles, Logics, and Implementations
of High-Level Programming Languages (PLI'99) in Paris in September
1999.  This workshop brought together designers, implementers, and
practitioners to discuss the development of logical frameworks and
their use in meta-reasoning and programming.

As a followup to this workshop, a special issue on this topic will be
published by the Journal of Automated Reasoning.  Papers presenting
(Continue reading)

Permalink | Reply | 0 comments |
headers
Michael Mislove | 9 Nov 1999 02:27
Picon

Position available

Dear Colleagues,
   Below is an announcement of an Assistant Professor position in 
Theoretical Computer Science that is open in the Mathematics Department at 
Tulane. The position will start in Fall 2000. I apologize if you receive 
this announcement more than once.
   Best regards,
   Mike Mislove

	          Assistant Professor Position
		Mathematics Department
		    Tulane University

Applications are invited for a tenure track, Assistant Professor position 
in Theoretical Computer Science beginning in Fall 2000. The areas of 
research interest include the semantics of computation, domain theory, 
logic, programming languages, lambda calculus, concurrency and process 
algebra, and verification. Candidates must have a PhD in mathematics or 
computer science, and must demonstrate research excellence as well as 
having a documented history of excellence in teaching. More information 
about the department can be found on its home page http://www.math.tulane.edu

Tulane University is an Affirmative Action/Equal Opportunity Employer that 
is committed to increasing the diversity of its faculty. We therefore 
especially encourage applications from underrepresented groups. 
Applications should be sent

   c/o Hiring Committee
        Mathematics Department
        Tulane University
        New Orleans, LA 70118
(Continue reading)

Permalink | Reply | 0 comments |
headers
Shinya MIYAKAWA | 10 Nov 1999 03:18
Picon

TCS2000 call for papers

                                call for papers
         IFIP International Conference on Theoretical Computer Science
                                  IFIP TCS2000
           --- Exploring New Frontiers of Theoretical Informatics ---
                              August 17 - 19, 2000
                         Tohoku University, Sendai, Japan

IFIP TCS2000 is the first International Conference on Theoretical Computer 
Science organized by the IFIP TC1 on Foundations of Computer Science. Major 
topics of the conference are follows:

Track (1): Algorithms, Complexity and Models of Computation

    analysis and design of algorithms --- algorithm experimentation ---
    continuous algorithms and complexity --- computational complexity ---
    descriptional complexity --- cellular automata and machines, automata
    and formal languages --- hardware algorithms and parallel algorithms
    --- computational learning theory --- algorithmic aspects in discovery
    science --- cryptography --- combinatorics --- probabilistic and
    randomized algorithms --- molecular computing and algorithmic aspects
    of bioinformatics --- quantum computing --- neural network computing
    --- evolutionary and genetic algorithms --- computational geometry ---
    computational and mathematical finance --- bridging complexity and
    semantics.

Track (2): Logic, Semantics, Specification and Verification

    logic and semantics for programs and languages --- foundations of
    system specification --- term rewriting systems --- proofs and
    specifications in computer science --- types and category theory in
(Continue reading)

Permalink | Reply | 0 comments |
headers
Publicity for ICLP 99 | 10 Nov 1999 21:58

PADL'00: Call for Participation

[Apologies if you receive multiple copies of this message]

News:

- Registration and Hotel information are now available in the
	workshop's web page
	http://www.cs.nmsu.edu/~complog/conferences/padl00

- Advance Program now available in the workshop's web page

- three excellent invited speakers

------------------------------------------------------------------
            Second International Workshop on
   Practical Aspects of Declarative Languages (PADL'00)
                    Boston, Massachusets
                     Jan. 17-18, 2000, 
    http://www.cs.nmsu.edu/~complog/conferences/padl00

		(Co-located with POPL 2000)

              Sponsored by COMPULOG AMERICAS 
			and
    	    Association for Logic Programming

                      _______________

We invite you to attend the Second International Workshop on the
Practical Aspects of Declarative Languages (PADL'00), co-located with
POPL'00.
(Continue reading)

Permalink | Reply | 0 comments |

Gmane