10 Dec

• Blockchain and beyond: proactive logic smart contracts 3 changes by one user 10 Dec, 22:58 ▼

  
  • Andrea Omicini edited the page · see changes 10 Dec, 22:58
  • Andrea Omicini added an attachment 10 Dec, 12:27 ▼
    amaffithesis.pdf
  • Andrea Omicini created the page 10 Dec, 12:26

05 Dec

• Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS 2 changes by one user 05 Dec, 12:45 ▼

  
  • Andrea Omicini added an attachment 05 Dec, 12:45 ▼
    08360344.pdf
  • Andrea Omicini edited the page · see changes 05 Dec, 12:45
• Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum 2 changes by one user 05 Dec, 11:50 ▼

  
  • Andrea Omicini edited the page · see changes 05 Dec, 11:50
  • Andrea Omicini added an attachment 05 Dec, 11:42 ▼
    1VKzduTpQDb1jqMkJwk6RI.pdf

03 Dec

• Blockchain for Intelligent Systems: Research Perspectives 6 changes by one user 03 Dec, 15:17 ▼

  
  • Andrea Omicini edited the page · see changes 03 Dec, 15:17
  • Andrea Omicini created the page 03 Dec, 15:13
  • Andrea Omicini edited the page · see changes 03 Dec, 15:13
  • Andrea Omicini added 2 attachments 03 Dec, 15:12 ▼
    bct4mas-keynote.zip

    bct4mas-keynote.pdf
  • Andrea Omicini edited the page · see changes 03 Dec, 15:12
  • Andrea Omicini created the page 03 Dec, 15:11

01 Dec

• Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain 01 Dec, 22:33
  • Andrea Omicini edited the page · see changes

28 Nov

• En-It 28 Nov, 13:36
  • Andrea Omicini edited the page · see changes

21 Nov

• En-It 21 Nov, 15:56
  • Andrea Omicini edited the page · see changes
• En-It 21 Nov, 00:15
  • Andrea Omicini edited the page · see changes

19 Nov

• Embodying Intelligence in MAS Environment with Situated Logic Programming 5 changes by one user 19 Nov, 18:19 ▼

  
  • Andrea Omicini added an attachment 19 Nov, 18:19 ▼
    CCDMO-AAMAS2019.zip
  • Andrea Omicini added an attachment 19 Nov, 18:18 ▼
    CCMDO-AAMAS19.pdf
  • Andrea Omicini edited the page · see changes 19 Nov, 18:14
  • Andrea Omicini added an attachment 19 Nov, 18:14 ▼
    aamas2019174submissionA4BR7NV1BSEYU8E2NBGW7N48H8XALENW.pdf
  • Andrea Omicini created the page 19 Nov, 18:14
• AAMAS 2019 2 changes by one user 19 Nov, 18:11 ▼

  
  • Andrea Omicini edited the page · see changes 19 Nov, 18:11
  • Andrea Omicini created the page 19 Nov, 17:59
• Global Variables 19 Nov, 17:54
  • Andrea Omicini edited the page · see changes
• Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives 19 Nov, 17:51
  • Andrea Omicini added a comment ▼
    Dear Giovanni, Stefano, Andrea, Franco and Maxime, we are glad to invite you to submit an extended version of your survey appeared in the Proceedings of COORDINATION 2018: Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives to the Special Issue in Journal on Algebraic Methods in Programming for the 20 Years of Coordination Models and Languages. This special issue is dedicated to the presentation of surveys describing important results and successful stories that originated in the context of COORDINATION. Info about the Special Issue are available at the following link: https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/call-for-papers/20-years-of-coordination-models-and-languages Important dates * Deadline for submissions: 15 January 2019 * First round reviews: March 2019 * Submission of revised papers: April 2019 * Notification of acceptance: June 2019 * Camera-ready version: August 2019 For the preparation of your contribution please take carefully into account all the comments that you received by the reviewers of your submission to COORDINATIO 2018 and the discussions during your presentation. Your extended version should contain at least 30% of new material to be considered for publication. Manuscripts should be formatted according to the rules of the Software Quality Journal, available by following the "Instructions for Authors" link on the journal webpage (https://www.elsevier.com/journals/journal-of-logical-and-algebraic-methods-in-programming/2352-2208/guide-for-authors). With best wishes, Michele and Giovanna

14 Nov

• En-It 14 Nov, 17:24
  • Andrea Omicini edited the page · see changes

13 Nov

• En-It 10 changes by one user 13 Nov, 17:29 ▼

  
  • Andrea Omicini edited the page · see changes 13 Nov, 17:29
  • Andrea Omicini created the page 13 Nov, 17:14
  • Andrea Omicini deleted the page 13 Nov, 17:13
  • Andrea Omicini deleted the page 13 Nov, 17:13
  • Andrea Omicini created the page 13 Nov, 17:05
  • Andrea Omicini created the page 13 Nov, 17:04
  • Andrea Omicini created the page 13 Nov, 16:59
  • Andrea Omicini created the page 13 Nov, 16:59
  • Andrea Omicini edited the page · see changes 13 Nov, 16:08
  • Andrea Omicini added an attachment 13 Nov, 16:07 ▼
    ds-jade.zip
• En-It 13 Nov, 16:57
  • Andrea Omicini edited the page · see changes
• Lab 13 Nov, 16:05
  • Andrea Omicini added an attachment ▼
    ds-jade.zip

09 Nov

• ReSpecTX: Programming Interaction Made Easy 09 Nov, 17:50
  • Andrea Omicini edited the page · see changes