[ToC] _________________________ AMAST Links 02 03

Contributions are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ date: 15 March 1995
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to: 622 subscribers

Table of Contents

Meetings

[M1] AMAST'95 prelim. programme available on March 16 (upd. [AL0201M1])
[M2] Mailing list and discussion at TAPSOFT'95 (update of [AL0202M2])
[M3] TAPSOFT'95: Reminder & More Information (update of [AL0202M2])
[M4] Workshop on Real Numbers and Computers (update of [AL0202CI])
[M5] ICALP'95 Program & Registration Information (upd. of [SIAN05p2-5])
[M6] LICS'95 Accepted Papers (update of [SIAN05p2-8])
[M7] MCU'95 Workshop Programme (update of [AL0202M6])
[M8] Spring School Adv. Functional Prog. Techniques (upd. [AL0102M3])
[M9] Dutch/German Workshop Nonmonotonic Reasoning (upd. [SIAN03p2-5])
[MA] Paderborn Spring School on Efficient Use of Parallel Systems
[MB] 7th Eur. Summer School on Logic, Language & Information, ESSLLI'95
[MC] Course: Introduction to Theorem Proving Using Isabelle
[MD] Workshop Theorem Proving with Analytic Tableaux & Related Methods
[ME] 12th Int'l Conf. on Logic Programming, ICLP'95
[MF] 5th meeting on Order in Algebra and Logic
[MG] Colloquium on Constructivity in Mathematics and in Vision
[MH] Forum on Parallel Computing Curricula
[MI] Summer School on Chaitin Complexity and Applications

CfPs

[C1] 23rd Int'l Colloquium Automata, Languages & Programming, ICALP'96
[C2] Annual Conf. European Assoc. for Computer Science Logic, CSL'95
[C3] Int'l Conf. Constraint Programming, CP'95 (update of [AL0103C6])
[C4] COCOON'95: Reminder and More Information (update of [AL0102C7])
[C5] Joint Workshop on Graph Rewriting and Computation, SEGRAGRA'95
[C6] I.C. Structural Information & Communication Complexity, SIROCCO'95
[C7] 7th IEEE Symp. Parallel and Distributed Processing, SPDP'95
[C8] 1st Int'l Symposium on Language, Logic and Computation, LLC'95
[C9] Logic Colloquium 1995
[CA] Int'l Static Analysis Symposium, SAS'95
[CB] 36th Annual IEEE Symp. on Foundations of Computer Science, FOCS'95
[CC] Isabelle Users Workshop
[CD] 10th Latin American Symposium on Mathematical Logic
[CE] 4th Int'l Conf. on Information and Knowledge Management, CIKM'95
[CF] 15th Conf. Found. Softw. Technol. & Theor. Comput. Sci., FSTTCS'95
[CG] 9th Conf. on Neural Information Processing Systems, NIPS'95

Jobs

[J1] Two openings at Honeywell Technology Centre, Minneapolis, MN, USA
[J2] Postdoc at Royal Institute of Technology, Stockholm, Sweden
[J3] Postdoctoral position at Xerox PARC, Palo Alto, CA, USA
[J4] Associate Professorship in Computer Science, Univ. of Aarhus, DK
[J5] Research Fellowships, Queen Mary & Westfield C., Univ. London, UK
[J6] Postgraduate Bursaries in TCS, Computing Lab., Univ. of Kent, UK
[J7] Research Studentships in CS, Univ. of East Anglia, Norwich, UK

Literature

[L1] AMAST Book: Algebraic Specification Techniques...the ACT Approach
[L2] AMAST Book: Theories & Experiences for Real-Time System Developm.
[L3] AMAST Book: Construction & Analysis of Transition Systems with MEC
[L4] Book: System Software & Software Systems - Concepts & Methodology
[L5] PhD Th: Performance-Oriented Spec. of Communication Protocols...
[L6] Proc. 6th Nordic Workshop on Programming Theory (Aarhus, DK, 1994)
[L7] Proc. CAEN'94 (Categories, Algebres, Esquisses, Neo-esquisses)
[L8] Paper: Higher-dimens. algebra and topological quantum field theory
[L9] Paper: Light Linear Logic
[LA] Paper: What is a Categorical Model of Intuitionistic Linear Logic?
[LB] Paper: A Mixed Linear and Non-Linear Logic: Proofs, Terms & Models
[LC] Paper: Higher-Order Logic Programming
[LD] Course notes on category theory

Tools

[T1] Axiomatic type classes in Isabelle, documentation (upd [AL0202T4])
[T2] LOLA (LOtos LAboratory) 3R6 release announcement (upd. [AL0202T5])
[T3] Logic courseware: Turing's World, Tarski's World, Hyperproof
[T4] LiDIA: A library for computational number theory

Problems

[P1] Kleisli category for multiple monads?

Services

[S1] AMAST Series in Computing: Address and Order Information
[S2] Gathering Information about Teaching in Computable Analysis
[S3] Assembling a WWW page on Isabelle projects
[S4] Information request from ACM SIGACT Long Range Planning Committee

Archive

[A1] New items in Twente AMAST repository
[A2] This issue