Some links [Back to my homepage]

Uni
myuni Admin, Admin, Kochelsee, Uni login, My papers, Uni, AMS (Award Managment System, Uni Staff Directory, Campus, CS Department, CS Academic Staff, Handbook, CS Sharepoint (Teaching Calendar, Committee Documents, ...), CS Colloquium, PCV Seminar, Algebraic Specification Seminar, Visible Lunch, CS Site map, MRes in Logic and Computation, Math Department, CS Diary, CS Student Forum, CS Intranet, CoS Calendar, CoS Intranet, College Intranet (GAMS), Intranet, Timetable, Voyager, CS timetable, CS Student Forum , CS mailing lists , CS mailing lists (admin) , CS calendar , Teaching Diary , CoS rooms , Research Office , Academic Guide, Estates, Itwales, Blackboard , RC, Uni Tel Term dates, RIS(REF, user=full email address)

Local
Brangwyn Hall, St David's Hall, Gower Society, Grand Theatre, Hotels, Hotels (recommended by UWS), Restaurants, Sketty Hall, Taxis, Taxis Swansea, BBC Tides, Tides, Surf, BBC Weather, Norwegian Weather, Weather (Brecon Beacons), Sunrise Swansea, Sunrise UK.

News
BBC, BR, Guardian, icWales, Independent, Spiegel, SZ, Tagesschau, taz, THES

Events Theory Blog, EasyChair, AMS Calendar
2006 TCM (Munich), LC (Nijmegen), CiE (Swansea), CL&C (Venice), PCC (Ilmenau)
2007 PCC (Swansea), BMC (Swansea), Types (Udine), CiE (Siena), LCC (Wraclaw), Proof Theory (Bonn), BLC (London), Domains VIII (Novosibirsk), CIP (Paris)
2008 Russell (Swansea), Types (Turin), Buchholz 60 (Munich), Oberwolfach, MFPS (Philadelphia), CiE (Athens), LC (Berne), Workshop on Proof Theory (Berne), CL&C (Reykjavik), PCC (Oslo), CCA (Hagen), MAP (ICTP Trieste), BLC (Nottingham), TCS (Milano), Domains IX (Brighton), Computer Science 2008 (Cambridge).
2009 NIBATC (Birmingham), Proof Theory and Constructivism (Leeds), CCC (Cologne), CiE (Heidelberg), CCA (Ljubljana), BLC (Swansea), CSL (Coimbra), AVOCS (Swansea/Gregynog)
2010 Logical Approaches to Barriers in Computing and Complexity (Greifswald), Mal'tsev Meeting (Novosibirsk), MFPS (Ontario), Constructive Mathematics: Proofs and Computation (Chiemsee) , CiE (Ponta Delgada, Azores), Program Extraction and Constructive Proofs (Brno), Classical Logic and Computation (Brno), MFCS/CSL (Brno), BLC (Birmingham)
2011 Workshop on Logic and Computation (Kanazawa), BCTCS (Birmingham), MFPS XXVII (Pittsburgh), 11th Wessex Theory Seminar (Leicester), LiCS (Toronto), LCC (Toronto), CiE (Sofia), LMPS (Nancy), BLC (Edinburgh), Domains X (Swansea), Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl)
2012 - the Alan Turing Year, ACM Turing Centenary, Logic and interactions (CIRM, Marseille), JAIST Spring School (Kanazawa), BCTCS (Manchester), Semantics and Syntax: A Legacy of Alan Turing (Newton Institute, Cambridge), COMPUTAL Workshop CCC (Trier), MFPS XXVIII (Bath) ( Programme), LCC (Dubrovnik), Physics and Computation (Swansea)
2013 Foundation of Mathematics for Computer-Aided Formalization (Padova) , JAIST (Kanazawa) , MALOA (CIRM) , MFPS XXIX (Tulane) , CCC (Gregynog) , CCA (Nancy) , Duality in Computer Science (Dagstuhl) , LCC (Torino) , BLC (Leeds) , Proof (Berne) , Coinduction for computation structures and programming languages (Shonan), Computational interpretations of mathematical theorems (Chicheley) ,
2014 UNISA, CiE (Budapest), VSL (Vienna), Proof, Truth, Computation (Chiemsee), CCC (Ljubljana), MFO (Oberwolfach),
2015 JAIST Logic Workshop Series 2015: Constructivism and Computability (Kanazawa, 2-6 March), UNISA (27 March - 24 April), Symposium in honor of Herman Jervell and Dag Normann (Oslo, 21-22 May), PCC (Oslo, 23-24 May), LCC (Kyoto, 4-5 July), CCA (Tokyo, 12-15 July), Domains XII - Boole Conference (Cork, 25-28 August), BLC (Newton Institute, Cambridge, 2-4 September), CCC (Kochel, 14-18 September), Duality in Computer Science (Dagstuhl, 25-30 October),
2016
Effective Analysis: Foundations, Implementations, Certification (MAP, CIRM, 11-15 January),
Mathematics for Computation (Niederaltaich, 8-13 May)
Workshop on Intersection Types (Paris, 13-14 June)
Logic Colloquium (Leeds, 31 July - 6 August)
CSL (Marseille, 29 August - 1 September)
Logic and Computational Complexity (Marseille, 2-3 September)
Logic, Complexity and Automation (Obergurgl, 5-6 September)
Workshop on Mathematical Logic and its Applications (Kyoto, 16-17 September)
Interval Analysis and Constructive Mathematics (13-18 November, Oaxaca)
2017
UC (28 March-29 April),
CCC (Nancy, 26-30 June),
ISSUGE Summer School (Genua, 14-16 July),
Humboldt-Kolleg Proof Theory as Mathesis Universalis (Villa Vigoni, Lago di Como, 24-27 July),
Computability and Reducibility (Hiddensee, 6-11 August),
Mathematical Logic: Proof Theory, Constructive Mathematics (Oberwolfach, 5-11 November),

Lookup
Google, Google scholar, Yahoo, LEO, The Free Dictionary, English-Welsh, IEP, mathscinet, Logic around the world, Logic matters, Higher-order logic (by B Enderton), Computability (by N Immerman), Type theory (by T Coquand), Church's simple theory of types (by P Andrews), [Logic] archive , BRICS, MSC(AMS), OED, DBLP, DOI, Karlsruhe Computer Science Bibliographies, ISSN (search by), Zentralblatt MATH, MathSciNet, Mathworld, Planet Math, Wikipedia ( on the simply typed lambda calculus), HaWiki, Citeseer, Lars Birkedal's realisability bibliography, Maps, Google maps, openstreetmap, BT, Currencies, Streetmap, Upmystreet, Multimap, BBC Radio 3, Post Codes (Royal Mail), World Clock, Time, Yellow pages, YouTube

Travel
Travel advice, DB, Trains UK, First Great Western, Rail-Air-Link Rea-Hea, Eurostar, TGV, National Express, AF, BA, BmiBaby, EasyJet, Germanwings, KLM (rubbish web page), LH, Ryanair, SAS, S7 (Russia), Cheapflights, Onlinetravel, Opodo, Bristol Airport, LHR, Cardiff Airport

Organizations, Journals, Publishers
CUP, OUP, de Gruyter, Ontos, Ontos, MyMathLab APAL, UKCRC (Grand Challenges in Computing Research), ACM (Classification, Editor's Letters), UCU, ASL, BCTCS, BLC, CCA, Coalgebra, DICE, LCC, Dagstuhl, DVMLG, EACSL, EATCS, ENTCS, EPTCS, EPSRC, EPSS, EU Portal , FOM, JLAP, arXiv, CoRR, Fundamanta Informaticae, IFCL, JLA, JLC, JUCS, KGS, LMCS, MSCS, ToCS, LMS, Logic at LMU, MAP, MATHLOGAPS, MPIM, Oberwolfach, Royal Society, Simons Institute, Types, Wessex Theory Seminar, WIMCS

Proof Assistants, Programming Languages, Software
Agda, Coq, Isabelle, Minlog, Maude, Nuprl, F#, Java (Poly, Generic, Teaching ), Haskell (Tutorial, Online report, Graphics Generic Haskell, Haskell libraries, GHC documentation ), GMP, Lambda the Ultimate, Petite Chez Scheme, Pizza, Scheme, Schemers.org, CVS Tutorial, easychair, Formal Systems (PROBE,FDR2) (FDR2 user manual, CSP-M syntax), MPFR online

Document preparation
Emacs wiki, XEmacs, CTAN, Latex symbols, Neil Carter's fabulous LaTeX tricks, Latex (Cambridge, Eng. Dep.), Latex for Logicians, Latex maths symbols, AMS Latex, Latex Beamer Class, CTAN latex packages, HTML special characters

Shopping
Amazon, ebay, freecycle.

History
St Andrews, Mathematicians on stamps, mathematical words and symbols, Turing (page by Andrew Hodges).

Jobs
GI, Forschung und Lehre, Math Jobs, Stellenbörse Aachen, Zeit

Gems
Mona, Utah, Maths Problems, Collatz Problem, cool math site of the week Logic as Domino game

Other
ABRSM, Aquarium guide, Animated sorting, Beetroots, Caradog String Quartett, IMSLP, Mahjong, München, Number Gossip, HTML color codes, Bruckner, Bruckner, Shisen Sho, Sourdough (D), Sourdough (UK), Sourdough (US), EWD, EWD1054: On hygiene, intellectual and otherwise SPORE