Regular Events

• SPLS: Scottish Programming Languages Seminar
• MMnet:: UK Memory Management Network

Upcoming

• IFL2012, Aug 30-Sep 1, Oxford
• ICFP2012, Sep 9-15, Copenhagen
  • Haskell Symposium 2012, Sep 13
  • Haskell Implementors’ Workshop, Sep 14
  • FHPC’12 Workshop, Sep 15
• IPDPS 2013 27th International Parallel and Distributed Processing Symposium Boston, USA, May 20th, 2013
  • PLC 2013 International Workshop on
    Multicore and GPU Programming Models, Languages and Compilers Workshop
  • HIPS’13
  • LSPP’13: Workshop on Large-scale Parallel Programming
  • HPGC’13:
    High-Performance Grid and Cloud Computing Workshop
    May 20, 2013, Boston, Massachusetts
• Euro-Par 2013, Aachen, Germany, August 26-30, 2013
• ETAPS’13:
  • PLACES’13 Programming Language Approaches to Concurrency and Communication-cEntric Software 23rd March 2013, Rome, Italy
• DisCoTec’13:
  • COORDINATION 2013, Firenze, Italy, June 3-5 2013
• P2S2’13 Workshop on Parallel Programming Models
  and Systems Software for High-end Computing

• PMAM 2013 The 2013 International Workshop on Programming Models and Applications for Multicores and Manycores to be held in conjunction with
  PPoPP 2013 February 23, 2013 Shenzhen, China

• 20th Automated Reasoning Workshop (ARW’13) , 11-12 April 2013, School of Computing, University of Dundee, UK
  ARW’13 full programme is now published here
  Reminder: early registration deadline is the 1st April 2013.

• ROSS’13 International Workshop on Runtime and Operating Systems for Supercomputers. Held in conjunction with ICS 2013, Eugene, OR, USA, June 10, 2013
• HLPP2013, Paris 1-2 July 2013 International Symposium on High-level Parallel Programming and Applications
• TFP 2013 14th International Symposium Trends in Functional Programming 2013, Brigham Young University, Utah, U.S.A. May 14-16, 2013
• PGAS’13 7th International Conference on Partitioned Global Address Space Programming Models (PGAS 2013), Edinburgh, Scotland, UK, October 3-4, 2013
• Workshop on Multi-/Many-core Computing System (MuCoCoS-2013), Edinburgh, Sep 7th (part of PACT’13)
• SICSA PhD Conference 2013: Working Together 2013 SICSA Conference for PhD students, Stirling, Scotland, UK, June 12-13, 2013
• IA^3 Workshop on Irregular Applications: Architectures & Algorithms
• 1st special session on FORmal approaches to PArallel and Distributed systems (4PAD 2014), Turin, 12-14 February 201 (special session of PDP 2014)
• PPDP 2013: 15th International Symposium on Principles and Practice of Declarative Programming Madrid, Spain, September 16-18, 2013
• TFP’14 The Fifteenth Symposium on Trends in Functional Programming will be held in Soesterberg, the Netherlands, May 26-28, 2014
• International Symposium on Memory Management,
  June 12, 2014, Edinburgh, Scotland (co-located with PLDI’14)

• X10 Workshop June 12, 2014, Edinburgh, Scotland (co-located with PLDI’14)
• HLPP 2014: 7th International Symposium onHigh-level Parallel Programming and Applications Amsterdam, Netherlands
  July 3-4, 2014

• ISPA 2014: International Symposium on Parallel and Distributed
  Processing with Applications
  IEEE ISPA 2014, 26th-28th August, Milan

• ICFP’14 Gothenburg, Sweden; September 1 – 3, 2014

Summer Schools

• Computer Science Summer School on Programming Heterogeneous Parallel Architectures, June 24-July 5, 2013, France
• Domain specific languages summer school, July 8-20, 2013, Romania
• International Summer School on Trends in Computing (SSTiC), July 22-26, 2013, Spain
• Oregon Programming Languages Summer School, July 22-August 3, 2013, USA
• Utrecht Summer School on Applied Functional Programming in Haskell, August 19-30, 2013, Utrecht University, Netherlands

A list of summer schools can be found here.

Past

• SICSA PhD Conf 2012, Jun 20-22, Glasgow
• TFP2012, Jun 12-14, St Andrews
• VSTTE-10, 16-19 Aug 2010, Edinburgh

Courses

• A course on Parallel Functional Programming at Chalmers (March 2012)
• Two Day Isabelle Course in Edinburgh
  Date: Thursday 2nd May and Friday 3rd May 2013
  Time: 9:30 to 17:00
  Venue: Appleton Tower, Edinburgh, room AT 4.12

Journals

• ACM Toplas
• ACM TOCL Transactions on Computational Logic
• ACM Transactions on Parallel Computing
• The Computer Journal, Oxford University Press
• Journal of Functional Programming, Cambridge University Press
• Higher-Order and Symbolic Computation
• Theoretical Computer Science (old URL), Elsevier Science
• 
  Electronic Notes in Theoretical Computer Science, Elsevier (Science Direct)

• EPTCSElectronic Proceedings in Theoretic Computer Science
• Future Generations Computer Systems, Elsevier Science
• Parallel Computing, Elsevier Science
• Parallel Processing Letters,
  World Scientific

• International Journal of Supercompter Applications, MIT Press
• Journal of Functional and Logic Programming, MIT Press
• Journal of Parallel and Distributed Computing, Academic Press
• Journal of Pure and Applied Logic, Elsevier
• Journal of Symbolic Computation, Elsevier
• Computer Languages, Systems and Structures, Elsevier
• International Journal of Parallel Programming, Kluwer
• Journal of Automated Reasoning, Kluwer
• Journal of Formalised Reasoning