You can subscribe to this list here.
2006 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(5) |
Nov
(4) |
Dec
|
---|---|---|---|---|---|---|---|---|---|---|---|---|
2007 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
From: Leo F. <le...@cs...> - 2007-01-12 10:20:29
|
Dear colleagues, I will give a talk to the department here in York about Mondex in the end of the month. In the same spirit of previous presentations by Jim, I plan to mention our successful group work, the achievements of each group, and further details of the Z work. I will also conclude with the next envisaged projects. Is there anything new about your particular results you would like me to mention/emphasise? If so, I would appreciate if you could send them to me, say, by the 29th of January, please? Best regards, Leo |
From: Leo F. <le...@cs...> - 2006-11-30 10:44:46
|
Dear colleagues, Our deadline for the Mondex papers is approaching. According to Jim, the format of the issue should contain ten papers: "eight recording the work of individual groups; one introducing the problem; and one concluding and comparing the approaches and results. The largest issues of FACJ are 160 pages in length in facj.sty, so this gives a provisional budget of 16 pages per paper". We are still waiting news on this. The introductory paper will contain information from the original monograph as it was together with extensive discussion material motivating the work to follow. Jim also mentioned some useful references/pointers related to the grand challenge and the repository: " First, three papers by Tony Hoare that set out what a grand challenge is in general, and what the verified software challenge is in particular. * C. A. R. Hoare: The verifying compiler: A grand challenge for computing research. J. ACM 50(1): 63-69 (2003) * Tony Hoare, Robin Milner: Grand Challenges for Computing Research. Comput. J. 48(1): 49-52 (2005) * Tony Hoare. The Ideal of Verified Software. Proceedings CAV2006 Computer Aided Verification, 18th International Conference, Seattle, August 17-20, 2006. Thomas Ball and Robert B. Jones (editors). Lecture Notes in Computer Science 4144:5-16 Springer (2006). An article that describes the Repository: * Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock. The verified software repository: a step towards the verifying compiler. Formal Aspects Computing 18(2):143-151 (2006). Next, two articles that describe our challenge, and that mention Mondex and the Augsburg work: * Cliff Jones, Peter W. O'Hearn, Jim Woodcock. Verified Software: A Grand Challenge. IEEE Computer 39(4):93-95 (2006). * Jim Woodcock. First Steps in the Verified Software Grand Challenge. IEEE Computer 39(10):57-64 (2006). And finally, an article that describes the work we did in Z. * Jim Woodcock, Leo Freitas. Z/Eves and the Mondex Electronic Purse. Kamel Barkaoui, Ana Cavalcanti, and Antonio Cerone (editors). Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, November 20-24, 2006. Lecture Notes in Computer Science 4281:15-34 Springer (2006). There will be a further paper in Science of Computer Programming based on the short descriptions everyone provided, and with a author list of all contributors, but this also has an end-of-the-year deadline. " Hope you find that useful. Best, Leo |
From: <le...@cs...> - 2006-11-24 14:39:43
|
Ah that is a very good point. It would be nice to include our results into the repository around the same time that I hand in the papers. If you have trouble in uploading to sourceforge, just send a ZIPped file to me with the directory structure you want I do the rest. Best, Leo > ... and it would be really useful if we could have as some specs etc in > the repository too! > > (I'm sure Leo will assist if you need help to do this :-) > > Juan. > > > > -----Original Message----- > From: vsr...@li... > [mailto:vsr...@li...] On Behalf Of > le...@cs... > Sent: 24 November 2006 13:39 > To: vsr...@li... > Subject: [Vsr-users] Mondex paper deadline is approaching - 5 weeks > > Dear colleagues, > > This e-mail is a reminder of the approaching deadline in around 5 weeks > time for our FACJ papers on Mondex. > > We would like to have all your papers preferably before the new year so > that we can proceed on schedule. > > Many thanks, > > Best regards, > Leo > |
From: Bicarregui, JC \(Juan\) <J.C...@rl...> - 2006-11-24 14:07:07
|
... and it would be really useful if we could have as some specs etc in the repository too! (I'm sure Leo will assist if you need help to do this :-) Juan. -----Original Message----- From: vsr...@li... [mailto:vsr...@li...] On Behalf Of le...@cs... Sent: 24 November 2006 13:39 To: vsr...@li... Subject: [Vsr-users] Mondex paper deadline is approaching - 5 weeks Dear colleagues, This e-mail is a reminder of the approaching deadline in around 5 weeks time for our FACJ papers on Mondex. We would like to have all your papers preferably before the new year so that we can proceed on schedule. Many thanks, Best regards, Leo ------------------------------------------------------------------------ - Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys - and earn cash http://www.techsay.com/default.php?page=3Djoin.php&p=3Dsourceforge&CID=3D= DEVDE V _______________________________________________ Vsr-users mailing list Vsr...@li... https://lists.sourceforge.net/lists/listinfo/vsr-users |
From: <le...@cs...> - 2006-11-24 13:39:45
|
Dear colleagues, This e-mail is a reminder of the approaching deadline in around 5 weeks time for our FACJ papers on Mondex. We would like to have all your papers preferably before the new year so that we can proceed on schedule. Many thanks, Best regards, Leo |
From: Leo F. <le...@cs...> - 2006-10-17 08:36:11
|
Dear colleagues, I've just realised today that my Thunderbird was being cleverer than it should. A series of e-mails since 09/2006 have been wrongly filtered as either spam or junk mails. I've tried catching up with the mistaken ones. Please send me an e-mail again I've I missed you. Best, Leo |
From: Paul P B. <Pau...@vi...> - 2006-10-16 21:48:10
|
Dear All, the slides presented at the recent meeting are available from: http://www.gc6.clrc.ac.uk/gc6wiki/ThirdMondexWorkshopAgenda Apologies for the delay in uploading these -- I was on a (requirements engineering) course last week. [Jonathan: the wiki page is not pretty, I'm afraid. Feel free to improve it] Best wishes, Paul. |
From: <le...@cs...> - 2006-10-09 16:17:47
|
Dear colleagues, I've found a quite interesting forums about digital curation at http://www.dcc.ac.uk/ It contains standards, tools, events, guidelines and a series of papers on the topic. Other forums on digital curation can be found at http://www.dpconline.org/ http://www.e-science.clrc.ac.uk/ and a wiki page at http://en.wikipedia.org/wiki/Digital_curation I've also set another directory/project in the repository named "curation". On it I've included: 1) DCC curation manual 2) JISC e-Science report on data curation 3) A MSc thesis + presentation on data curation see http://svn.sourceforge.net/viewvc/vsr/curation/ I guess we will have some catch up to do in order to make VSR up to speed! Any volunteers for looking into this? Best wishes, Leo |
From: <le...@cs...> - 2006-10-09 15:30:47
|
Dear colleagues, Following up our last meeting, I've created in the repository a project (directory) named "mondex" with corresponding subprojects for z-eves, pi-calculus, event-b, raise, kiv, alloy, and other files. To download files one just need to go to http://svn.sourceforge.net/viewvc/vsr/ and browse it accordingly via web. An improved way to interface with the repository, or indeed upload files is described below. To upload files you need to: 1) register with sourceforge 2) send me your sourceforge user id to le...@cs... 3) download a svn service from http://subversion.tigris.org/ The links for various platforms is at http://subversion.tigris.org/servlets/NewsItemView?newsItemID=1685 4) download a svn client. For windows the nicest one is at http://tortoisesvn.tigris.org/ For various other platforms http://subversion.tigris.org/project_packages.html Now you can use the SVN client to update (from) or commit (to) the repository. Some general documentation on SVN (or CVS) can be found at http://subversion.tigris.org/servlets/ProjectDocumentList Please only upload files to the directory of your subproject (see http://svn.sourceforge.net/viewvc/vsr/mondex/ If you find uploading a bit of a hassle, please feel free to ask and I can try helping you through it. Preferably, use the vsr-users mailing list so that everybody else can get it as well. Best wishes, Leo |
From: Bicarregui, JC \(Juan\) <J.C...@rl...> - 2006-10-09 14:04:29
|
Thanks for setting this up Leo! I wonder if you could mail out instructions on how people can deposit their case study data at sourceforge? Many thanks, Juan. -----Original Message----- From: vsr...@li... [mailto:vsr...@li...] On Behalf Of vsr...@li... Sent: 09 October 2006 14:46 To: Bicarregui, JC (Juan) Subject: Welcome to the "Vsr-users" mailing list Dear VSR/Mondex colleagues, I am pleased to welcome you to the sourceforge vsr-users mailing list. Its purpose is to create an environment for discussion, queries and directions for the repository. Please visit the sourceforge version of the repository at "http://vsr.sourceforge.net" I've also created two other mailing lists: vsr-announce and vsr-devel. The former is (a low-traffic list) intended for announcements of new deliverables, curation, and the like. The latter is intended for discussions on implementation/specification issues and is supposed to be of technical nature/content. PS: I deliberately subscribed everybody from the mail circulated by Paul recently. Please feel free to unsubscribe at "http://sourceforge.net/projects/vsr" Best wishes, LeoWelcome to the Vsr...@li... mailing list! Welcome to VSR-users mailing list It can be used for enquires on repository documents, tools, and other material. It can also be used for general questions and directions on VSR. PS: attachments are allowed, provided the whole message does not exceed 400kb. To post to this list, send your email to: vsr...@li... General information about the mailing list is at: https://lists.sourceforge.net/lists/listinfo/vsr-users If you ever want to unsubscribe or change your options (eg, switch to or from digest mode, change your password, etc.), visit your subscription page at: =20 https://lists.sourceforge.net/lists/options/vsr-users/j.c.bicarregui%40r l.ac.uk You can also make such adjustments via email by sending a message to: Vsr...@li... with the word `help' in the subject or body (don't include the quotes), and you will get back a message with instructions. You must know your password to change your options (including changing the password, itself) or to unsubscribe. It is: enpiuvdi Normally, Mailman will remind you of your lists.sourceforge.net mailing list passwords once every month, although you can disable this if you prefer. This reminder will also include instructions on how to unsubscribe or change your account options. There is also a button on your options page that will email your current password to you. |