Project news
The news on these pages comes directly from the projects' own news feeds. (See all our project news sources)
Frédérick Bénaben from PLAY is co-chair of a track at IEEE DEST 2012: COLLABORATIVE PLATFORMS FOR SUSTAINABLE LOGISTICS AND TRANSPORTATION.
Call for Papers
Track F: COLLABORATIVE PLATFORMS FOR SUSTAINABLE LOGISTICS AND TRANSPORTATION
Dimitris Apostolou and Yiannis Verginadis from PLAY are organising the 1st Workshop on Social Business Computing (SBComp 2012) in conjunction with BIS 2012 in Vilnius, Lithuania on May 21-23, 2012.
Call for Papers
Introduction to the Workshop:
The social Web induces dramatic changes in how business is conducted. Business in recent years has changed dramatically compared to the pre-social Web environment. The social Web denotes the use of the Web technologies to interconnect people; it encompasses how websites and software are designed and developed in order to support and foster online social interactions. Social networking sites such as Facebook and Twitter as well as collaborative tools such as wikis and blogs enable people and organizations to maintain a persistent relationship with each other. These new interaction possibilities are dictating dramatic changes in how companies run their business. In a hyper-connected global business environment, competition is more unpredictable and diverse; the social customer, employee, supplier, and partner each have a voice and the means to use his/her voice at scale.
Ralf just got back from his trip to Boulder, Colorado, where he attended the 14th International ACM SIGSOFT Symposium on Component Based Software Engineering to present an article written by Pietro Abate, Roberto Di Cosmo, Ralf Treinen and Stefano Zacchiroli, titled MPM: a modular package manager....
Sune Vuorela has added support for the Debian Weather service in the KDE Plasma Dataengine (here is the change).
Starting from the next KDE release, you'll be able to use the nice applet you can see in the above figure to monitor the amount of not installable packages in a Debian/suite...
In order to better support multiple package architectures, we have just changed the layout of the Mancoosi APT repository hosted at http://mancoosi.debian.net.
The new APT lines for your /etc/apt/sources.list are as follows:
deb http://mancoosi.debian.net/debian/ unstable/all/
deb...
During the question time of my FOSDEM 2010 talk about cross-distro dependency resolution, several people, mostly interested sysadms, asked me how they could contribute upgrade scenarios to the Mancoosi project. The idea is simple: we are working on improving dependency resolution techniques,...
After the first test runs of the solver competition, at that time still called the 'Mancoosi internal Solver Competition (MiSC)', and the lessons we learned from that experience, the first Mancoosi International Solver Competition (MISC) will take place during the summer of 2010. The results will be...
In the occasion of the Nice 2010 Mancoosi meeting, we organised a first Mancoosi internal Solver Competition (aka MiSC, notice the lowercase i!) to get ready for the Mancoosi International Solver Competition (aka MISC, notice the uppercase i!) which will take place in conjunction with the LoCoCo workshop later this year.
Everybody who is interested in applying logical methods to problems of configuring components should come to Edinburgh on July 10, 2010, and attend the Workshop on Logics for Component Configuration (LoCoCo 2010). This workshop will be part of the 2010 Federated Logic Conference, a large gathering...
The 2010 edition of the Free and Open Source Developers European Meeting (FOSDEM 2010) will take place
on the weekend of February 6 and 7 in Brussels, Belgium. This is probably the biggest F/OSS event in Europe, with expected more than 4000
participating F/OSS developers from all over the world,...
Advanced School on Service Oriented Computing: 1 July – 6 July, 2013, Hersonissos Crete Greece: http://www.summersoc.eu/
Source: S-Cube: European Network of Excellence in Software Services and Systems
Start Date: 2012-05-20 - 20:43
Start Date: 2012-05-20 - 20:43
3rd INT. WORKSHOP ON ADAPTIVE SERVICES FOR THE FUTURE INTERNET - Paper Deadline June 2, 2013 -- http://was4fi.lcc.uma.es
Source: S-Cube: European Network of Excellence in Software Services and Systems
Start Date: 2012-05-20 - 20:43
Start Date: 2012-05-20 - 20:43
Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei Frameworks for developing Event-B modelling extensions in EMF. None. (Unpublished)
Butler, Michael (2012) Mastering System Analysis and Design through Abstraction and Refinement. [Teaching Resource] (Submitted)
Butler, Michael (2012) Abstraction, Refinement and Decomposition for Systems Engineering. [Teaching Resource] (Unpublished)
Colley, John (2012) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design. [Teaching Resource] (Unpublished)
Voisin, Laurent (2012) More Abstraction. In: AI meets Formal Software Development, 01-06.07.2012, Schloss Dagstuhl, Germany.
Edmunds, Andrew and Colley, John and Butler, Michael Building on the DEPLOY legacy: code generation and simulation. In: DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B .
Plagge, Daniel and Leuschel, Michael (2012) Validating B, Z and TLA+ using ProB and Kodkod. In: Proceedings FM'2012, August, 2012, Paris.
Hallerstede, Stefan and Jastram, Michael and Ladenberger, Lukas (2012) A Method and Tool for Tracing Requirements into Specifications. Working Paper. UNSPECIFIED. (Submitted)
Weigelt, Ingo Architectures for an Extensible Text Editor for Rodin. Technical Report. UNSPECIFIED.
Hansen, Dominik and Leuschel, Michael (2012) Translating TLA+ to B for Validation with ProB. In: Proceedings iFM'2012.