PLanCompS http://www.plancomps.org Programming Language Components and Specifications Wed, 10 Apr 2013 09:47:48 +0000 en hourly 1 http://wordpress.org/?v=3.2.1 PLanCompS at ETAPS http://www.plancomps.org/2013/03/17/plancomps-at-etaps/ http://www.plancomps.org/2013/03/17/plancomps-at-etaps/#comments Sun, 17 Mar 2013 13:42:55 +0000 martin http://www.plancomps.org/?p=192 This week, Martin and Peter will be at ETAPS, Rome. Martin will be presenting their paper Modular Bisimulation Theory for Computations and Values as part of FoSSaCS, tomorrow at 4pm.

Update: the slides are now available.

]]> http://www.plancomps.org/2013/03/17/plancomps-at-etaps/feed/ 0 SLS 2013: Workshop on Scalable Language Specification http://www.plancomps.org/2013/02/25/sls-2013-workshop-on-scalable-language-specification/ http://www.plancomps.org/2013/02/25/sls-2013-workshop-on-scalable-language-specification/#comments Mon, 25 Feb 2013 13:16:22 +0000 martin http://www.plancomps.org/?p=176 Continue reading →]]> In June, PLanCompS will be co-organising a workshop on Scalable Language Specification together with Microsoft Research, Cambridge.

  • Workshop dates: June 25–27, 2013, Cambridge, UK
  • Submission deadline extended: April 2, 2013
  • See the website here

The focus of this workshop is on formal language specification frameworks
and how they scale up when applied to larger languages. The workshop provides
a forum for discussing practical and theoretical issues, and aims to promote
dissemination and collaboration between the developers and users of language
specification frameworks.

There will be 10 Invited speakers: Egon Börger, Mark van den Brand, Kevin Hammond, Sir Tony Hoare, Paul Klint, Shriram Krishnamurthi, José Meseguer,
Grigore Roşu, Dave Schmidt, and Peter Sewell.

]]> http://www.plancomps.org/2013/02/25/sls-2013-workshop-on-scalable-language-specification/feed/ 0 New arrival at Swansea http://www.plancomps.org/2012/10/02/new-arrival-at-swansea/ http://www.plancomps.org/2012/10/02/new-arrival-at-swansea/#comments Tue, 02 Oct 2012 09:21:20 +0000 admin http://www.plancomps.org/?p=112 A very warm welcome to our new postdoc, Paolo Torrini [http://www.cs.le.ac.uk/people/pt95/], who joined the Swansea team on 1st October.

Paolo research will focus mainly on component-based semantics, in collaboration with Martin and Peter.

]]> http://www.plancomps.org/2012/10/02/new-arrival-at-swansea/feed/ 0 Mohammad Mousavi visit http://www.plancomps.org/2012/08/23/mohammad-mousavi-visit/ http://www.plancomps.org/2012/08/23/mohammad-mousavi-visit/#comments Thu, 23 Aug 2012 12:51:09 +0000 martin http://www.plancomps.org/?p=104 Continue reading →]]> Today we welcome Mohammad Mousavi who’ll be giving a talk in the Proof, Complexity & Verification seminar at Swansea entitled In Processes, We Believe! On Marrying Process Algebra and Epistemic Logic. Mohammad is visiting for a few days to discuss modular bisimulation theory with the group at Swansea.

]]> http://www.plancomps.org/2012/08/23/mohammad-mousavi-visit/feed/ 0 Language Frameworks Summer School http://www.plancomps.org/2012/05/15/fmse/ http://www.plancomps.org/2012/05/15/fmse/#comments Tue, 15 May 2012 07:02:19 +0000 admin http://www.plancomps.org/?p=83 PLanCompS will be represented at the Summer School on Language Frameworks 2012 in Romania. For more details see https://fmse.info.uaic.ro/events/SSLF12/.

 

]]> http://www.plancomps.org/2012/05/15/fmse/feed/ 0 Royal Holloway April Meeting http://www.plancomps.org/2012/05/08/royal-holloway-april-meeting/ http://www.plancomps.org/2012/05/08/royal-holloway-april-meeting/#comments Tue, 08 May 2012 09:41:51 +0000 martin http://www.plancomps.org/?p=78 Continue reading →]]> We’ve just got back from a productive meeting in Royal Holloway, discussing the progress of the project so far and next tasks.

  • Adrian and Elizabeth spoke about the toolchain implementation and use of TIF
  • Joe discussed his integration of the tools into the Eclipse environment
  • Rob spoke of abstract syntax tree generation
  • Mark van den Brand discussed GLL parsing for metamodelling
  • Andrew Kennedy described C#, its history and semantics
  • Peter gave a tutorial on Modular SOS
  • Martin spoke of funcon semantics and behavioural equivalence
  • Kathy described her steps towards object-oriented funcons
  • Casper gave a talk on Partial Evaluation.

We look forward to continuing work on the project and collaborations.

]]> http://www.plancomps.org/2012/05/08/royal-holloway-april-meeting/feed/ 0 Seminar by Mark van den Brand http://www.plancomps.org/2012/02/02/seminar-by-mark-van-den-brand/ http://www.plancomps.org/2012/02/02/seminar-by-mark-van-den-brand/#comments Thu, 02 Feb 2012 16:17:51 +0000 admin http://www.plancomps.org/?p=74 Continue reading →]]> Professor Mark van den Brand, who is currently visiting RHUL, will be giving a short seminar on Tuesday 7 February 2012 at the Royal Holloway Campus.  Abstract below.
DSL Design in High Tech Industry
Domain Specific Languages are getting more and more attention.The High Tech Industry has developed towards a very softwareintensive industry. The amount of software to develop and maintain is growing fast, maybe even in some case too fast. This industry is investigating alternative ways to develop their software. Next to outsourcing to suppliers DSLs are also explored. In this talk two topics are addressed. First, ongoing research is presented with respect to the development of a DSL for the generation of a virtual proto in order to reduce testing effort.  In the second part a home-made DSL (SLCO) is presented and the way we formalize the semantics of this DSL. The reason for formalizing the semantics is to be able to proof the correctness of model transformations developed for mapping SLCO to various platforms.

]]> http://www.plancomps.org/2012/02/02/seminar-by-mark-van-den-brand/feed/ 0 New arrivals at Swansea http://www.plancomps.org/2012/01/08/new-arrivals-at-swansea/ http://www.plancomps.org/2012/01/08/new-arrivals-at-swansea/#comments Sun, 08 Jan 2012 22:13:26 +0000 Peter http://www.plancomps.org/?p=62 A warm welcome to the two new project participants starting here at Swansea this month:

  • Kathy Gray
  • Casper Poulsen

Martin, Kathy and Casper are all located in the recently established PLanCompS Lab (room 403, Faraday Tower).

]]> http://www.plancomps.org/2012/01/08/new-arrivals-at-swansea/feed/ 0 Ken Madlener’s Research Visit http://www.plancomps.org/2011/11/17/ken-madleners-research-visit/ http://www.plancomps.org/2011/11/17/ken-madleners-research-visit/#comments Thu, 17 Nov 2011 09:42:19 +0000 martin http://www.plancomps.org/?p=52 Continue reading →]]> Ken is visiting Swansea for a few months to work with PLanCompS participants on formalisation of bisimulation equations and their robustness under language extensions. Today he will be giving a talk about this. The talk is part of the Proof, Complexity and Verification series at Swansea, and the Mathematical Foundations series at Bath, via a video link. We look forward to hearing all about it!

]]> http://www.plancomps.org/2011/11/17/ken-madleners-research-visit/feed/ 0 Project Meeting http://www.plancomps.org/2011/09/22/project-meeting/ http://www.plancomps.org/2011/09/22/project-meeting/#comments Thu, 22 Sep 2011 09:12:03 +0000 admin http://www.projecttoomanycooks.co.uk/UNSTABLE/?p=40 Continue reading →]]> We’re all just returning from an excellent project kick-off meeting, hosted at Swansea this weekend.   The programme included a thorough review of the plans outlined in the project proposal and technical presentations by the investigators and visiting researchers.  We hope that this forms the beginning of a solid continuing development in our field.

 

 

]]> http://www.plancomps.org/2011/09/22/project-meeting/feed/ 0