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.
Luca Spada (University of Salerno)
SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.
❖ Quick facts. ❖ Scientific description. ❖ Financial description. ❖ Implementation. ❖ Secondments.
❖ 5 continents ❖ 12 Countries ❖ 23 Universities ❖ 70 researchers ❖ 500,000 euros ❖ 120 trips
A project on which the sun never sets…
Time span: 3 years, from March 2016 to February 2019. 8 gathering events: 2 conferences, 4 workshops, 2 schools.
WP1 – Management WP2 – Scientific events and
WP3 – Schools
WP4 – Abstract Algebraic Logic WP5 – Analytic calculi for substructural logics WP6 – Structure Theory of Residuated Lattices WP7 – Canonical Formulas and Bounded proofs WP8 – Duality theory with algorithmic applications WP9 – Residuated lattices with
consequences
More info on the website and in the proposal.
❖ 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.
❖ 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).
Standard division in RISE projects. Overhead 78400 Networking 201600 Secondments 224000
Division agreed for
Overhead 44800 Networking 145600 Secondments 313600
Minimum reimbursement allowed by the EU Fixed additional amount taken from the funds for networking Overheads: some may be taken by your university, the rest can be given to the seconded researcher
❖ 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.
Formed by all local coordinators.
Luca Spada Antonio Ledda Stefano Aguzzoli Jan Kühr Petr Cintula Carles Noguera Agata Ciabattoni Lluis Godo Ramon Jansana Nick Bezhanishvili Brunella Gerla Pilar Dellunde George Metcalfe Clint van Alten Patricio Diaz Varela Guram Bezhanishvili Constantine Tsinakis Nick Galatos Kazushige Terui Tomasz Kowalski Rajeev Gore Alwen Fernanto Walter Carnielli
http://logica.dmi.unisa.it/sysmics (or just google "sysmics")
Two Conferences
Kick-off conference (Barcelona, September 2016). Closing conference (Amsterdam, January 2019).
Four Workshops
Salerno, May 2017. ????, December 2017. AL (A-sub-L) Cagliari, May 2018. Vienna, September 2018.
Two schools
TACL school, June 2017 (Olomouc, Czech Republic) LATD, August 2018 (Bern)
❖ 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.
❖ Website reporting. ❖ Short forms to be filled at the beginning and at the end
❖ Deliverables: articles, technical reports, ....
❖ Seminars. ❖ Short courses. ❖ Technical reports,
preprints.
❖ Participation in
conferences or workshops.
❖ 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.
❖ The span of time must be at least one month, but can be
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.
❖ 9-12 months in advance: contact
your host.
❖ 3-4 months in advance: inform Sara
❖ 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.
❖ 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.