[ToC] _________________________ AMAST Links 02 04

Contributions are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ date: 24 April 1995
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to: 633 subscribers

Table of Contents

Meetings

[M1] AMAST'95, Call for Participation (update of [AL0203M1])
[M2] 1st AMAST Workshop on Algebraic Methods in Language Processing
[M3] ASF+SDF'95, Call for Participation (update of [AL0103CA])
[M4] CCP'95, Preliminary Program and Registration (upd. of [AL0103C7])
[M5] COLT'95, Program and Registration Information (upd. of [AL0101C5])
[M6] FCT'95, Program and Registration Information (upd. [SIAN03p2-2])
[M7] ISLIP'95, Call for Participation (update of [AL0103CI])
[M8] JFPL'95, Appel a Participation (update of [AL0202CF])
[M9] LDPL'95, Program and Call for Participation (update of [AL0201C3])
[MA] LICS'95, Program and Registration Information (upd. of [AL0203M6])
[MB] MPC'95, Advance Program and Registration (update of [SIAN05p2-6])
[MC] STOC'95, Program and Registration Information (upd. of [AL0201S1])
[MD] STRICT'95, Program and Call for Participation (upd. of [AL0201C9])
[ME] CPM'95, Accepted Papers (update of [SIAN04p2-4])
[MF] The ACM Programming Languages Summer Extravaganza, SIGPLAN'95
[MG] 1st Announcement & Logo Contest Federate Logic Conference, FLoC'96
[MH] Workshop on Complexity, Logic and Recursion Theory, COLORET'95
[MI] Third Australian Magma Workshop
[MJ] Workshop on Mathematical Modelling of Linguistic Relationships

CfPs

[C1] FST&TCS'95, 2nd Call for Papers (update of [AL0203CF])
[C2] GD'95, 2nd Call for Papers and Demos (update of [AL0201CA])
[C3] IRREGULAR'95, Final Call (update of [AL0101C7])
[C4] LOPSTR'95 Call for Papers (update of [AL0103C3])
[C5] RTSS'95, 2nd Call for Papers (update of [AL0202CA])
[C6] SAS'95, Final Call for Papers (update of [AL0203CA])
[C7] SEGRAGRA'95, Deadline Reminder (update of [AL0203C5])
[C8] SIROCCO'95, Deadline extension (update of [AL0203C6])
[C9] 11th Summer Conf. on General Topology and Applications, GTA'95
[CA] 5th Annual Conference on Evolutionary Programming, EP'96
[CB] Workshop Temporal Reasoning in Deductive & OO Databases, TRDOOD'95
[CC] Asian Computing Science Conference, ACSC'95
[CD] 5th Italian Conference on Theoretical Computer Science, ITCS'95
[CE] ACM Int'l Conf. on Mobile Computing and Networking, MCN'95
[CF] 8th International Workshop on Protocol Test Systems, IWPTS'95
[CG] Int'l Workshop on Computability and Complexity in Analysis, CCA'95

Jobs

[J1] Research Assistanships in AI & Discrete Optim., Louisiana SU, USA
[J2] Lectureships in Computing Science, University of Glasgow, UK
[J3] Research Studentship in Mathematics, Univ. of Wales, Bangor, UK
[J4] Research Posts in Parallel Computing, Oxford University, UK
[J5] Readership in Computer Science, University of London, UK
[J6] Associate Professor Computer & Info. Science, U. South Australia
[J7] NSF Research Experience for Undergraduates 1995-96 at DIMACS, USA
[J8] Research Posts in TCS with the EUROFOCS Fellowship Programme, EU
[J9] Visiting Faculty Member in Information Systems, Ball SU, IN, USA
[JA] PhD Positions in Operations Research, Math. Research Inst., NL
[JB] Position (C3) available in TCS, Tech. Univ. Munich, D
[JC] Linguistic Engineer, PolyDoc N.V., Maastricht, NL
[JD] Lectureships in Computer Science & AI, U. of Sussex, Brighton, UK
[JE] Post-doctoral Fellowships in Mathematics, Oxford University, UK
[JF] Positions in Theoretical Computer Science, Univ. of Birmingham, UK
[JG] Postgraduate Scholarships in CS, Univ. of Sussex, Brighton, UK
[JH] Visiting Position in Computer Science, Wellesley College, MA, USA
[JI] Faculty Position in Softw. Engineering, McMaster U., Ontario, CND

Literature

[L1] TCS Special Issue: AMAST'93 Selected Papers (upd. of [SIAN01p1-3])
[L2] TCS S.I.: 1st AMAST Workshop on Topology & Completion in Semantics
[L3] Book: Time and Logic - A Computational Approach
[L4] Book: Subrecursive Programming Systems: Complexity & Succinctness
[L5] Book: The Combinatory Programme
[L6] First article in e-journal Theory and Applications of Categories
[L7] PhD Thesis: Complexity Doctrines
[L8] PhD Thesis: Local Testing and Implementable Concurrent Processes
[L9] Tech. Report: Towards a Semantic Theory of CML
[LA] Paper: Comparing Cubes of Typed and Type Assignment Systems
[LB] Paper: HOLCF: Higher Order Logic of Computable Functions
[LC] Paper: Database calculus based on strong monads & part'l functions
[LD] Paper: Linear Läuchli Semantics
[LE] Paper: Covariant Deep Subtyping Reconsidered
[LF] Paper: The Undecidability of 2nd Order Multiplicative Linear Logic
[LG] Paper: Polymorphic Methods with Self Types for ML-like Languages
[LH] Paper: Algebraic Tools for Language Processing
[LI] Two papers on Game Semantics for Languages with Recursive Types
[LJ] Two papers on Formal Methods Applications in Software Engineering
[LK] Research Note: Normalisation by Translation
[LL] Proceedings: Forum on Parallel Curricula (on WWW, upd. [AL0203MH])

Problems

[P1] What are categorical models of logics good for?
[P2] Type inference with record-subtyping?
[P3] Typing with set of most general unifiers

Services

[S1] (ESPRIT Basic Research Working Group) COMPASS page on the WWW
[S2] Structures Directory - Email addresses of structure theorists
[S3] WWW page on Logical Frameworks (update of [AL0102S2])
[S4] Changes to UnCover Reveal Service (update of [SIAN04p4-1])
[S5] Book order information from Birkhauser

Archive

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