[ToC] ==================\=====================/====== AMAST Links 02 04 _____________________ \ / _____________________ Contributions are / \ AMAST Links / \ 24 April 1995 welcome! e-mail to ( / \ ) e-mailed to: amast@cs.utwente.nl \ / Vol. 02 Issue 04 \ / 633 subscribers ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ An index to all issues of the AMAST newsletter is available on the WWW: URL: http://www.cs.utwente.nl/data/amast/links/AL-Index.html A general index to AMAST information on the WWW server in Twente is at: URL: http://www.cs.utwente.nl/data/amast/Index.html The hypertext version of this issue is available at: URL: http://www.cs.utwente.nl/data/amast/links/v02/i04/AL0204-ToC.html _________________ 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"auchli 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