SYSMICS Methods, Interactions, and Connections in Substructural - PowerPoint PPT Presentation

Luca Spada (University of Salerno) SYntax meets Semantics: SYSMICS Methods, Interactions, and Connections in Substructural logics.

Contents ❖ Quick facts. ❖ Scientific description. ❖ Financial description. ❖ Implementation. ❖ Secondments.

Quick facts

SYSMICS in figures ❖ 5 continents ❖ 12 Countries ❖ 23 Universities ❖ 70 researchers ❖ 500,000 euros ❖ 120 trips A project on which the sun never sets…

SYSMICS in figures Time span : 3 years, from March 2016 to February 2019. 8 gathering events : 2 conferences, 4 workshops, 2 schools.

Scientific Description

Work packages WP1 – WP2 – Scientific events and WP3 – Management outreaching activities Schools

Work packages WP4 – Abstract WP5 – Analytic WP6 – Structure Algebraic Logic 
 calculi for Theory of substructural logics Residuated Lattices WP7 – Canonical WP8 – Duality theory Formulas and Bounded with algorithmic proofs applications WP9 – Residuated lattices with operators and alternative consequences More info on the website and in the proposal.

Deliverables ❖ Conferences proceedings. ❖ Technical reports on Work Packages. ❖ Reports on schools and workshops. ❖ Divulgative papers. ❖ Periodic, Financial and Mid-term reports. ❖ Do not forget to acknowledge the project in the required manner.

Financial Description

Fund destination ❖ The project essentially funds trips longer than a month from a EU country to a non-EU country. In some case (in our project for South Africa and Argentina) also vice versa. ❖ There is also some fund for organising networking events (schools, conferences, workshops).

Overhead Secondments 78400 224000 Networking 201600 Funds Standard division in RISE projects.

Overhead 44800 Secondments Networking 313600 145600 Funds Division agreed for our project.

Reimbursement per month 2000 + 368 + 432 Minimum Overheads: some may reimbursement be taken by your allowed by the EU university, the rest can be given to the Fixed additional seconded researcher amount taken from the funds for networking

Financial reporting ❖ Each European university will report on their secondments on the EU website. ❖ Reporting amounts to filling start and end dates of each secondment; all the rest is calculated accordingly. ❖ The report will probably not match the actual expenses!! This is not a problem.

Implementation

Steering committee Formed by all local coordinators. Luca Spada Nick Bezhanishvili Constantine Antonio Ledda Brunella Gerla Tsinakis Stefano Aguzzoli Pilar Dellunde Nick Galatos Jan Kühr George Metcalfe Kazushige Terui Petr Cintula Clint van Alten Tomasz Kowalski Carles Noguera Patricio Diaz Varela Rajeev Gore Agata Ciabattoni Guram Alwen Fernanto Lluis Godo Bezhanishvili Walter Carnielli Ramon Jansana

Project Assistant Serafina Lapenta (better known as Sara ) University of Salerno

Website http://logica.dmi.unisa.it/sysmics (or just google "sysmics")

What's on the website • "Leaving" and "coming back" forms. • Info on the Work Packages. • List of participants. • Info on the upcoming events. • Info on financial matters. • This presentation. • F.A.Q.

Events (proposal to be discussed) Two Conferences Kick-off conference (Barcelona, September 2016). Closing conference (Amsterdam, January 2019). Four Workshops Salerno, May 2017. ????, December 2017. A L ( A-sub-L ) Cagliari, May 2018. Vienna, September 2018. Two schools TACL school, June 2017 (Olomouc, Czech Republic) LATD, August 2018 (Bern)

Relevant documents ❖ Grant Agreement, ❖ Project description (i.e. our proposal, formally part of the GA), ❖ Partnership Agreement, ❖ Official EU FAQ, ❖ There is shared Dropbox folder with all relevant documents.

Continuous Reporting ❖ Website reporting. ❖ Short forms to be filled at the beginning and at the end of the secondments. ❖ Deliverables: articles, technical reports, ....

Report on your activities ❖ Seminars. ❖ Short courses. ❖ Technical reports, preprints. ❖ Participation in conferences or workshops.

Secondments

What's a secondment ❖ A secondment is a span of time in which a researcher is hosted by another university. ❖ The seconded staff must receive her/his salary from the sending beneficiary at the time of secondment and be linked to the institution since at least 6 months. ❖ A EU researcher can only be seconded in a non- European country or vice versa.

What's a secondment ❖ The span of time must be at least one month, but can be split . However, at the end of the project the amount of time spent at each institution must be at least one month. ❖ Any amount of time longer than one month is allowed i.e., two visits at the same institution of 20 days each form a perfectly fine secondment.

What to do in case of secondment ❖ 9-12 months in advance: contact your host. ❖ 3-4 months in advance: inform Sara of your intentions. ❖ 1-3 months in advance: fill in the "leaving" form on the website. ❖ 0-1 month later: fill in the "coming back" form on the website.

What to do in case of secondment ❖ The exact amount of your reimbursement will be calculated by Sara. But she needs to know the amount of overhead taken by your university. ❖ If you work for a EU university your reimbursement will be paid by your university, by the hosting university otherwise.

Time for your questions!