web-archive-it.com » IT » C » CNR.IT

Total: 89

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Workshop: FM+AM´10
    Agile Methods http fm am 2010 tripod com Date 17 September 2010 Time 9 00 13 00 Room C 29 Faedo Scope and Goals Formal Methods FM and Agile Methods AM are two different and rather orthogonal answers to the Software Crisis which is typically characterised by both error prone and slow software development processes Whereas FM has by and large focussed its attention on the issue of software correctness thereby mostly ignoring questions of development speed AM is by and large concerned about the issue of development speed a k a time to market thereby mostly ignoring the questions of formal soundness and formal correctness This workshop FM AM 2010 aimed at bringing these orthogonal viewpoints together and asked for original papers with new ideas about making formal software developments faster and rapid software development methods more formally sound in all phases of the software development cycle We are expecting interesting new solutions mainly in the following two directions Social production techniques from the domain of agile methods for example pair programming could be transfered into the domain of formal methods resulting in new social production techniques such as pair formalisation pair modelling etc Formally verified software tools cold

    Original URL path: http://www.sefm2010.isti.cnr.it/workshops_fm.php (2015-08-19)
    Open archived version from archive


  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Workshop: FAST 2010
    Workshop on Formal Aspects of Security and Trust FAST2010 aims at continuing the successful efforts of the previous FAST workshops fostering cooperation among researchers in the areas of security and trust Computing and network infrastructures have become pervasive and now they carry a great deal of economic activity Thus society needs well matching security and trust mechanisms Interactions increasingly span several enterprises and involve loosely structured communities of individuals Participants in these activities must control interactions with their partners based on trust policies and business logic Trust based decisions effectively determine the security goals for shared information and for access to sensitive or valuable resources FAST focuses on the formal models of security and trust that are needed to state goals and policies for these interactions We also seek new and innovative techniques for establishing consequences of these formal models Implementation approaches for such techniques are also welcome Topics of the workshop include but are not limited to Formal models for security trust and reputation Security protocol design and analysis Logics for security and trust Trust based reasoning Distributed trust management systems Digital asset protection Data protection Privacy and ID management issues Information flow analysis Language based security Security and

    Original URL path: http://www.sefm2010.isti.cnr.it/workshops_fast.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Venue: Accomodation
    see the map Via Tavoleria 17 56126 Pisa Italy Phone 39 050 579946 579819 Fax 39 050 598969 E mail info hotelleonardopisa it Web http www hotelleonardopisa it Conference Discounted fees Single Room 70 Double Room songle use 80 Double Room 90 Hotel Santa Croce in Fossabanda 1 5 km about 18 mins walking from to CNR see the map Piazza Santa Croce in Fossabanda 5 56124 Pisa Italy Phone 39 050 970911 Fax 39 050 9711044 E mail info fossabanda it Web http www fossabanda it Conference Discounted fees Single Room 70 Double Room single sue 85 Double Room 95 Hotel Royal Victoria 2 1 km about 25 mins walking from to CNR see the map Lungarno Pacinotti 12 56126 PISA PI Italy Phone 39 050 940 111 Fax 39 050 940 180 E mail mail royalvictoria it Web http www royalvictoria it Conference Discounted fees Single Room 70 Double Room single room 91 Double Room 105 Hotel Verdi 1 6 km about 20 mins walking from to CNR see the map Piazza della Repubblica 5 6 56125 Pisa Phone 39 050 598 947 53 54 Fax 39 050 598 944 E mail web form http www verdihotel it en email form html Web http www verdihotel it Conference Discounted fees Single Room 80 Double Room single use 90 Double Room 100 Hotel Touring 2 5 km about 31 mins walking from to CNR see the map Via Puccini 24 56125 Pisa Phone 39 050 46374 Fax 39 050 502148 E mail web form Web http www hoteltouringpisa it Conference Discounted fees Double Room single use 84 Double Room 94 Hotel Repubblica Marinara 1 3 km about 16 mins walking from to CNR see the map Via Matteucci 81 56124 Pisa Phone 39 050 3870100 Fax 39 050 3870200

    Original URL path: http://www.sefm2010.isti.cnr.it/venue_accomodation.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Venue: Travel Information
    the Information Office in the arrivals hall or at the automatic ticket machine at the bus terminus The bus terminus is located just outside the Departures area Take LAM red line direction TORRE SAN JACOPO and get off at STAZIONE Pisa Centrale railway station By Train Pisa Airport Galileo Galilei has direct train services to Pisa Centrale railway station At the Airport buy your railway ticket at the Information Office in the arrivals hall The railway terminal is located just outside the departures hall The cost of a single train ticket from Pisa Airport to Pisa Central Station is EUR 1 10 Travel time 5 minutes From Railway station to CNR By Bus From Pisa Centrale railway station to CNR it is only 15 minutes by bus The cost of a single ticket is EUR 0 90 You can buy tickets in the arrivals departures hall The bus terminus is located just outside the railway station Take LAM Green Line direction PRATALE and get off at VIA VOLPI CNR or at the next stop PRATALE Parcheggio shown on map below Taxi The average fare for a ride in the city of Pisa ranges from EUR 9 00 to EUR 12

    Original URL path: http://www.sefm2010.isti.cnr.it/venue_travelinfo.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Venue: Useful Links
    cotapi it Rent a car Pisa Airpot Web Site reference page Rent a car on line Accomodation in Pisa Booking Sites http www booking com city it pisa http www pisaonline it http www venere com italy pisa hotels lists Tourism in Pisa Official City Website Pisa Official Tourism Website wikitravel Pisa Virtual reality movies and free mp3 audio guide Pisa Tourism near Pisa Lucca Official Tourism Website Versilia Official

    Original URL path: http://www.sefm2010.isti.cnr.it/venue_links.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Venue: Where to...
    30 Tel 050 577203 Il porton Rosso not only Fish restaurant Tuscan food Medium budget Via Porton Rosso 11 Tel 050 580566 Il campano Medium budget Good food Also tables outside Via Cavalca 19 Tel 050 580585 Le Bandierine Specialised in pasta Medium budget Via Mercanti 4 Tel 050 500000 Repubbliche Marinare Restaurant and Pizzeria in a quiet square in the centre Medium budget Decent Pizza and also fish restaurant Vicolo del Ricciardi 8 Tel 050 20506 Pizzeria La cereria There are tables outside Low medium budget No booking allowed but hard to find place unless you go early Good pizza Via P Gori 33 Tel 050 20336 Pizzeria Regginella The best pizza in town A bit far from the centre Low budget Better book in advance Via di Gello 134 Tel 050 564400 Pizzeria Bella Napoli The second best pizza in town close to the centre Low medium budget Better to book in advance unless you go early Via del Borghetto 44 Tel 050 578520 Osteria di Culegna Low budget Traditional and good food Via Mercanti 25 Tel 050 576426 Numero undici An original formula you serve yourself when your dish is ready they shout it and you go and pick it up Good food nice people Low budget Via S Martino 47 Tel 050 27282 Pizzeria Le Scuderie Fast service Lots of place Low budget No booking at worst a bit of waiting Good pizza Via Sancasciani 1 Tel 050 40884 Pizzeria Il Montino Also mostly good for a snack You pick your stuff and take away or sit down to eat Slices of or entire pizza and filled focaccia Speciality focaccia con cecina white pizza filled with a slice of oven made cake of chick peas flour Low budget Via del Monte 1 Tel 050 598695 Gelateria

    Original URL path: http://www.sefm2010.isti.cnr.it/venue_wehereto.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Venue: Maps
    to Reach Us Links Where to Maps Sponsors Downloads Extras News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Maps A large collection of facilities in Pisa Tuscany Photo galleries provided by the site www fototoscana it captions in Italian Facilities in Pisa View this Map in a Larger Version Photo from the Tuscany View this Map in a Larger Version www sefm2010 isti cnr it SEFM

    Original URL path: http://www.sefm2010.isti.cnr.it/venue_maps.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - SEFM Site Search Results
    Extras Site Maps Search SEFM Site Stats Venue Weather Forecasts Live Webcam Site Translations experimental Credits News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Search Inside The SEFM Site Loading www sefm2010 isti cnr it SEFM

    Original URL path: http://www.sefm2010.isti.cnr.it/searchsefm.php (2015-08-19)
    Open archived version from archive



  •