[TYPES/announce] Workshop on Bidirectional Transformations (BX 2012)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS First International Workshop on Bidirectional Transformations (BX 2012) Tallinn, Estonia Sun, March 25, 2012 (co-located with ETAPS 2012) http://www.program-transformation.org/BX12 === INVITED SPEAKERS: * Juan de Lara (Autonomous University of Madrid, Spain) * second invited speaker still to be decided IMPORTANT DATES: * Paper submission:Mon, December 19, 2011 * Author notification: Tue, January 24, 2012 * Camera-ready papers: Sun, February 5, 2012 To facilitate smooth organization of the review process, authors are asked to submit a short abstract by December 12, 2011. SUBMISSION CATEGORIES: * Regular submissions (max. 15 pages, formal proceedings) * Short papers(max. 8 pages, informal proceedings) * Lightning talks (extended abstract) Submissions can be in LNCS or EC-EASST style. More details can be found on the webpage. PROCEEDINGS: There will be formal proceedings containing all accepted regular papers, published as a volume of EC-EASST (Electronic Communications of the European Association of Software Science and Technology, http://journal.ub.tu-berlin.de/eceasst). Short papers will be included in informal proceedings distributed at the workshop, and their authors may be invited to extend their contribution to a full paper for inclusion in the formal proceedings. SCOPE: Bidirectional transformations (bx) are a mechanism for maintaining the consistency of two (or perhaps more) related sources of information. Such sources can be databases, software models, documents, or their abstract models like graphs or trees. The methodologies used for bx range from classical program transformation to graph transformation techniques, from ad-hoc techniques for data synchronization to the development of domain-specific languages and their integration. We also solicit papers on model/metamodel co-evolution, which is a different yet closely related subject. The aim of the workshop is to bring together researchers, from all relevant areas, interested in bidirectional transformations from different perspectives, such as: language-based approaches, software/model transformations, and data/schema co-evolution. Topics of interest for BX 2012 include, but are not limited to: * (coupled) software/model transformations * software-model synchronization * data-schema co-evolution and data synchronization * consistency analysis * language-based approaches * analysis/classification of requirements for bx technologies * case studies and tool support * comparison of bx technologies * efficiency of algorithms and benchmarks Regular submissions (11-15 pages) can be: * research papers providing new concepts and results * position papers and research perspectives * papers that apply bx in new domains * papers closing gaps between formal concepts and application scenarios For details about short papers and lightning talks, please consult the webpage. PROGRAM CO-CHAIRS: * Frank Hermann (Technical University of Berlin, Germany; University of Luxembourg, Luxembourg) * Janis Voigtländer (University of Bonn, Germany) PROGRAM COMMITTEE MEMBERS: * Paolo Atzeni (Roma Tre University, Italy) * Benjamin Braatz (University of Luxembourg, Luxembourg) * Anthony Cleve (University of Namur, Belgium) * Alcino Cunha (University of Minho, Portugal) * Carlo Curino (Massachusetts Institute of Technology, USA) * Davide Di Ruscio (University of L'Aquila, Italy) * Zinovy Diskin (University of Waterloo, Canada) * Ulrike Golas (Zuse Institute Berlin, Germany) * Ekkart Kindler (Technical University of Denmark, Denmark) * Kazutaka Matsuda (Tohoku University, Japan) * Fernando Orejas (Technical University of Catalonia, Spain) * Benjamin Pierce (University of Pennsylvania, USA) * Andy Schürr (Technical University of Darmstadt, Germany) * Perdita Stevens (University of Edinburgh, UK) * James Terwilliger (Microsoft, USA) * Antonio Vallecillo (University of Málaga, Spain) * Yingfei Xiong (University of Waterloo, Canada)
[TYPES/announce] PhD position available at Strathclyde
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** New: Later start date possible! ** PhD Position in Category Theory and Functional Programming Department of Computer and Information Sciences University of Strathclyde, Scotland Applications are invited for one PhD position within the Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr. Peter Hancock, Dr. Robert Atkey, and six PhD students. The PhD project centres around applications of categorical methods to functional programming languages. The project is under the direction of Patricia Johann. The successful applicant will have either a first-class degree or an MSc in Mathematics or Computing Science or a related subject with a strong Mathematics or Computing Science component. Ideally, they will also have a strong, documented interest in doing research. Strong mathematical background and problem-solving skills are essential; good programming skills are a plus. Prior knowledge of category theory and/or functional programming is an advantage, but is not required. The PhD position is for 3 years; it must be started before September 2012 at the latest, but will preferably be started earlier. The position is a fully-funded post for a UK or EU student, and includes both coverage of fees and an EPSRC-level stipend for each of the three years. Fees for non-EU students are covered only at the UK or EU student level. More information about the department is available at http://www.strath.ac.uk/cis The University of Strathclyde (http://www.strath.ac.uk) is located in the heart of Glasgow, which Lonely Planet Travel Guides hail as one of Britain's largest, liveliest and most interesting cities (see http://www.lonelyplanet.com/worldguide/scotland/glasgow/). Southern Scotland provides a particularly stimulating environment for researchers in theoretical computer science, with active groups in this area at Heriot-Watt University, the University of Edinburgh, the University of Glasgow, the University of St. Andrews, and the University of Strathclyde. Requests for further information and other informal enquiries can be sent to: Patricia Johann patricia at cis.strath.ac.uk Those interested in the position are asked to send e-mail to the address given above in the next short while.
[TYPES/announce] 12th Wessex Theory Seminar - Thu 15 September
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, some of you might want to participate in this meeting which is taking place at Queen Mary (University of London) next week. If so, please send me an email so I can add you to the list of participants. Yours, Paulo. Begin forwarded message: From: Paulo Oliva paulo.ol...@eecs.qmul.ac.uk Date: 8 September 2011 1:56:56pm GMT+01:00 To: wessex-the...@cs.bath.ac.uk Subject: 12th Wessex Theory Seminar - Thu 15 September Dear All, The programme for the Wessex Theory Seminar at QM next week has been finalised: 12:00 Lunch (at Mucci's) 13:00 Coffee (Computer Science 3rd floor, The Hub) 13:30 Timothy Griffin (Cambridge): Building Algebraic Structures with Combinators. 14:15 Martin Escardo (Birmingham): A Proof of Omniscience in Agda 15:00 Coffee Break 15:30 Florent Balestieri (Nottingham): Partial Polymorphic Stream Functions 16:15 Peter O'Hearn (QMUL): Locality, Exchange and Processes 17:00 Closing Please see the webpage of the seminar for further details: https://wiki.bath.ac.uk/display/wessex/12th+Wessex+Theory+Seminar If you have problems during the day finding your way around the Queen Mary campus, or getting to the seminar room or The Hub, please don't hesitate to contact me on my mobile 07772472213. Best wishes, -- Paulo Oliva Royal Society University Research Fellow Queen Mary University of London London E1 4NS +44 (0) 207 882 5255 http://www.dcs.qmul.ac.uk/~pbo