AVVISO PER LUNEDI’ 26-10-2009

 Senza categoria  Commenti disabilitati su AVVISO PER LUNEDI’ 26-10-2009
Ott 212009
 

Visto il carico di lavoro che avete per la consegna della I esercitazione la visita al cantiere è stata rimandata a data da definirsi.

Buon lavoro a tutti!

A Calculus of Contracting Processes

 Unica  Commenti disabilitati su A Calculus of Contracting Processes
Ott 122009
 
Roberto Zunino and myself have recently investigated the logical foundations of contracts in concurrent systems.  A contract is an agreement stipulated between two or more parties, which specifies the duties and the rights of the parties involved therein. We have modelled contracts as formulae in an intuitionistic logic extended with a “contractual” form of implication.  We have proved decidability of our logic via cut elimination: this allows us to mechanically infer the rights and the duties deriving from any set of contracts. We have embedded our logic in a core calculus of contracting processes, which combines features from concurrent constraints [...]
 Scritto da alle 10:12

Halchem V: where?

 Logistic, Logistic info  Commenti disabilitati su Halchem V: where?
Ott 062009
 

Halchem V will be held at the Flamingo Hotel Resort in Santa Margherita di Pula, at about 25 km from Cagliari.

More info on the hotel are available here.

Halchem V: when?

 Logistic  Commenti disabilitati su Halchem V: when?
Ott 062009
 

Halchem V will be held in Sardinia on September 19-23, 2010. The late summer is an ideal climate to visit Sardinia, with very good weather and average temperatures around 25 °C.

Halchem V

 General info  Commenti disabilitati su Halchem V
Ott 062009
 

This is the Halchem V weblog!

The organization of the fitfth edition of the international meeting Halchem has started!

The web page of the meeting (http://dipcia.unica.it/halchem) will be updated as soon as news will be available.

Cos’è LABDì

 Senza categoria  Commenti disabilitati su Cos’è LABDì
Ott 032009
 

Nell’ambito del Dipartimento di Architettura dell’Università di Cagliari, si inserisce la Sezione Disegno e Progetto con sede in via Corte d’Appello 87. L’attività della sezione si esplica nei diversi campi della didattica, della ricerca di base ed applicata, nei servizi di documentazione, consulenza e progettazione urbanistica e architettonica. Particolare rilievo nell’ambito dell’attività scientifica della Sezione riveste il Laboratorio di Disegno coordinato dal Prof. Serafino Casu. Il Laboratorio di Disegno nasce nel 2000 inizialmente come struttura a supporto della ricerca direttamente collegata alla didattica, ma estende immediatamente il suo campo di azione con incarichi “conto terzi”. Il Laboratorio di Disegno è attivo nel rendere visibile a livello internazionale, con partecipazione a convegni e manifestazioni, l’attività di ricerca da esso svolta, con particolare attenzione alla diffusione e pubblicità della cultura e dell’architettura sarda.

 Scritto da alle 10:49

Incontro di AVVIO del CdL TecLab, Primo Anno

 Senza categoria  Commenti disabilitati su Incontro di AVVIO del CdL TecLab, Primo Anno
Ott 012009
 

Gentili Signore Studentesse e Signori Studenti
nuovi iscritti al Primo Anno,
Cari colleghi Docenti del Corso di Laurea,
del Primo Semestre del Primo Anno,

siete convocati per il giorno 8 Ottobre 2009, alle ore 13,
presso il Dipartimento di Citomorfologia (Biblioteca),
Cittadella Universitaria di Monserrato.

1. si svolgera’ riunione di AVVIO al Corso di Studi,
2. con i Docenti del Primo Semestre del CdL,

Durante la riunione:

3. i Sigg. Studenti e Sigg. Docenti avranno il piacere di incontrarsi
e conoscersi de visu;
4. saranno presentate caratteristiche e politica operativa del CdL,
relative aspettative, obiettivi, strumenti;
5. ciascun Docente presenterà il Corso ed il Piano delle Lezioni di
cui e’ responsabile, nonche’ le modalita’ di svolgimento delle
attivita’ didattiche nelle diverse ore;
6. ciascun Docente indicherà il TESTO suggerito, o altro supporto di
studio / diapositive ecc, adatti per acquisire la formazione
richiesta, e per superare il relativo esame;
7. ciascun Docente indicherà le modalità di “Prove in Itinere” ed
“Esame Finale” del Corso Integrato di cui fa parte;
8. saranno delineate Attivita’ Formative Teoriche e Professionali da
svolgersi in Lingua Inglese, nonche’ le relative attivita’ formative
di base in lingua inglese.

Inoltre:

8. saranno descritti gli obiettivi e le modalita’ di svogimento dei
Tirocinii Formativi Professionali,
9. nonche’ le rispettive condizioni di ammissione Tirocinio per
Tirocinio, e le modalita’ di giudizio relative.

Con l’occasione, confermo sin d’ora che l’orario indicato presso
l’apposito “Google Calendar – Primo Anno” e’ corretto ed effettivo:
http://www.google.com/calendar/embed?src=s406b1beh04t0vo1oiotk26nkg%40group.calendar.google.com&ctz=Europe/Rome

ATTENZIONE: ricomporre l’intero link, se dovesse interrompersi durante
la trasmissione e visualizzazione della mail.

Il Presidente del CdL,

Gian-Luca Ferri

 Scritto da alle 16:51
contatti | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy