ago 26 2010

18-19 settembre – Debian / Ubuntu Community Conference 2010

Stampa Questo Post Pubblicato da Fabio Andrea Petrini il 26 agosto 2010 alle ore 20:25
Sezione: News, Open source e software libero, Seminari e Convegni

 

Dopo l’esperienza accumulata negli anni, durante i rispettivi incontri annuali (Debian Community Conference IT e Ubuntu Meeting), quest’anno le comunità italiane legate alle due maggiori distribuzioni GNU/Linux hanno deciso di organizzare un evento congiunto, la Debian/Ubuntu Community Conference.

L’evento si svolgerà a Perugia nei giorni 18 e 19 Settembre, presso l’hacklab “Projectz on Island” e il Dipartimento di Matematica ed Informatica.

L’incontro è rivolto principalmente a chi già contribuisce a Debian e/o Ubuntu, ma è ampiamente aperta a chiunque voglia cogliere l’occasione per iniziare.

Il meeting vuole essere un momento di incontro e di interscambio fra le due comunità, in cui i partecipanti possano approcciare ai metodi e alle procedure (siano esse di pacchettizzazione, traduzione, bug reporting) dell’altra community, in modo da poter contribuire ad entrambe le distribuzioni.

Non mancheranno inoltre momenti “ludici” (sopratutto serali), come la cena di socializzazione, i workshop pratici e il tradizionale keysigning party.

Invitiamo pertanto tutti a partecipare numerosi

Fonte:
http://www.fsugitalia.org/eventi/doku.php?id=duccit10:comunicato_stampa

Nessun tag per questo post.

Post correlati:





 

dottorini software libero open source FLOSSPochi giorni fa il consiglio regionale dell’Umbria ha approvato una manovra di bilancio che, fra i vari interventi, aumenta il finanziamento da 50.000 euro 222.000 euro per la legge Dottorini riguardante il software libero e l’open source.

Legge Dottorini 11/2006

La legge Dottorini sul software libero è nata pensando a due attori principali della società dell’informazione: la scuola, il mondo della formazione in generale, e la pubblica amministrazione.
Dalla data della sua entrata in vigore ad oggi la legge è stata sempre finanziata grazie agli emendamenti del consigliere regionale Dottorini, 100mila euro il primo anno di applicazione (2007), 235mila euro nel 2008, 150mila euro nel 2009 e 222mila euro per quest’anno.

La scuola e il consumismo degli applicativi.
Per quanto riguarda la scuola, si è partiti dal dato di fatto che molto spesso la formazione degli studenti, in particolare negli istituti ad indirizzo tecnico-informatico, viene svolta a senso unico. Senso unico significa che i nostri ragazzi una volta usciti dalla scuola superiore sono in grado di utilizzare Microsoft Office per scrivere e fare calcoli, Internet Explorer per navigare e in alcuni casi Visual Basic per sviluppare piccoli programmi didattici.
Secondo noi tutto questo poteva essere utile e all’avanguardia dieci anni fa, non sicuramente oggi, in un mondo dove internet 2.0, le web application e lo scambio libero di informazioni sono l’elemento caratterizzante della vita di tutti i giorni e richieste basilari nel mondo del lavoro.

Per questo la legge Dottorini ha come primo canale di intervento il mondo della scuola e della formazione. L’idea è stata quella di dare alle scuole e agli insegnanti lungimiranti, gli strumenti per offrire a studenti e docenti una conoscenza più ampia e più specializzata nel campo dell’informatica e dell’informazione. Essere in grado, una volta usciti da scuola, di conoscere le basi di altri linguaggi di programmazione, di altri word processor, di altri browser e nei migliori dei casi, di altri sistemi operativi. Tutto questo perchè oggi viviamo in una società dell’informazione in continua trasformazione e non possiamo affidarci ad applicativi vecchi, statici, obsoleti.
L’utilizzo del software libero offre, oltre agli innumerevoli vantaggi in termini tecnologici e pratici, anche vantaggi educativi, sociali ed etici, abituando lo studente alla cultura dello scambio e della condivisione della conoscenza, rafforzando il valore della solidarietà.

Le scuole devono gradualmente allontanarsi dal “consumismo degli applicativi”, stare lontane dalle mode o dalla pubblicità dei monopolisti del software. Il Software Libero permette agli applicativi di durare a lungo perchè non c’e’ necessità di acquistare l’ultima versione di un software per ottenere un miglioramento. Gli aggiornamenti possono essere sviluppati immediatamente  dagli studenti e dai professori e condivisi con altri utenti in tutto il mondo.

Continua la lettura di questo post »

Nessun tag per questo post.

Post correlati:




ott 17 2009

27 ottobre 2009 – seminario – giochi infiniti per la verifica e la sintesi di sistemi: una prospettiva algoritmica

Stampa Questo Post Pubblicato da Fabio Andrea Petrini il 17 ottobre 2009 alle ore 20:12
Sezione: Seminari e Convegni

 

Il giorno martedi’ 27 ottobre 2009, alle ore 15, presso la Sala Riunioni,
la dottoressa Raffaella Gentilini, nuova ricercatrice di INF/01 terra’ un seminario dal titolo

“GIOCHI INFINITI PER LA VERIFICA E LA SINTESI DI SISTEMI: UNA PROSPETTIVA ALGORITMICA”

Tutti gli interessati sono invitati ad intervenire

Cordiali saluti
Giulianella Coletti

SOMMARIO: Il recente connubio tra l’area della verifica automatica ed il potente framework della teoria dei giochi  si sta dimostrando foriero di problemi algoritmici di straordinario interesse, tanto da un punto di vista teorico quanto da una prospettiva applicativa.
Tra di essi ad esempio, i giochi di parita’ sono uno dei rari problemi “naturali” appartenenti alla classe di complessita NP \cap coNP, ma per i quali non vi e’ ancora alcun algoritmo polinomiale. Accanto a tale appetibile status di complessita’ algoritmica, i giochi di parita’ sono P-time equivalenti al problema del model checking del \mu-calculus, una delle varianti piu’ espressive della tecnica di verifica automatica di sistemi detta di model checking.
In questo seminario, dal carattere introduttivo, esploreremo l’uso dei giochi infiniti per la verifica e la sintesi di sistemi computazionali, con particolare attenzione ai giochi di parita’ ed ai loro risvolti algoritmici.

Data:
27/10/2009 – 15:00

Nessun tag per questo post.

Post correlati:




© 2010 Il Portale degli Informatici di Perugia | Post (RSS) e Commenti (RSS)
Sito realizzato da Fabio Andrea Petrini - Powered By Wordpress