WWV 2011 Automated Specification and Verification of Web Systems

First Call for Papers

WWV 2011
Automated Specification and Verification of Web Systems
7th International Workshop
(as part of DisCoTec'11)

http://rap.dsi.unifi.it/wwv2011/

June 9, 2011 - Reykjavik, Iceland

********************************************************


IMPORTANT DATES

Abstract Submission                        March 28, 2011
Full Paper Submission                        April 4, 2011
Acceptance Notification                              May 3, 2011
Camera Ready (pre-proceedings)                May 30, 2011
Workshop                                June 9, 2011
Camera Ready (post-proceedings)                July 4, 2011

Workshop B 2011, colocated with FM 2011, Limerick, Ireland, june, 21, 2011

http://membres-liglab.imag.fr/idani/BWorkshop/index.html

IMPORTANT DATES
Abstract submission         March 3, 2011
Paper submission         March 10, 2011
Acceptance notification         April 12, 2011
Final version         May 4, 2011
Workshop         June 21, 2011

the release of ProB for Rodin 2.1

We are happy to announce the release of ProB for Rodin 2.1 Numerous improvements went into the latest release: - constraint-based deadlock checker: finds counter-examples to the deadlock freedom PO using constraint-solving - improved kernel with improved constraint solving (in particular improved boolean constraint solver) - ProB can now efficiently solve integer constraints using the finite domain solver CLP(FD) (you can turn this feature on in  the Preferences Dialog) - improved LTL model checker with new counter-example display - new, improved version of BMotionStudio to generate graphical visualisations of your models - automatic record detection (when defining closed records using Records plug-in or manually using bijections on Cartesian products) - 64-bit version of ProB for Mac OS X (performance improvement; less hash collisions in model checking; larger range for the integer  constraint solver; ...) - and many more. To install ProB, first download Rodin 2.1,  choose Help -> Install New Software and simply choose the pre-configured ProB update site. More detailed installation instructions and a brief  tutorial can be found here: http://www.stups.uni-duesseldorf.de/ProB/index.php5/Tutorial_Rodin_First_Step We have also released the new version 1.3.3 of ProB  Classic, a version of ProB with a Tcl/Tk interface. It can be obtained at: http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download ProB Classic, is a stand-alone application but can be started automatically from within Rodin by setting the ProB Classic preference. ProB Classic provides some features which are not yet available in the ProB for Rodin version (graphical visualisation of the state space,  debugging of axioms with unsat core computation, CSP support...). Kind regards, The ProB Team from Düsseldorf http://www.stups.uni-duesseldorf.de/ProB/

Have we learned from the Wasa disaster ? J.R. Abrial

http://videotorium.hu/en/recordings/details/1674,Have_we_learned_from_the_Wasa_disaster_

• Conference, 2006. September 19 - 20.
• http://www.jaist.ac.jp/~bjorner/ae-is-budapest/

The AE/IS `Charles Simonyi' Symposium: Grand Challenges of Informatics is a major event. Some 14 of the nest computer scientists will, over two days, present challenges within areas of 100% trustworthy software, quantum computing, biocomputing, economics and game theory, and the relations between informatics and mathematics. Thanks to Dr. Simonyi's donation the event will host some 40 young scientists from Central and Eastern European countries.