Cookies Policy

The website of the University of Cádiz uses its own and third-party cookies to carry out analysis of use and measurement of traffic, as well as to allow the correct functioning in social networks, and in this way to improve your browsing experience.

If you want to configure cookies, press the button Customize Cookies. You can also access the cookie settings at any time from the corresponding link in the footer.

For more information about cookies you can consult the Cookies policy from the website of the University of Cádiz.

Cookies customization

The website of the University of Cádiz uses its own and third-party cookies to carry out analysis of use and measurement of traffic, as well as to allow the correct functioning in social networks, and in this way to improve your browsing experience.

For more information about cookies you can consult the Cookies policy from the website of the University of Cádiz. You can also access the cookie settings at any time from the corresponding link in the footer.

You can configure the website cookies according to their purpose:

  • Statistical analysis

    Third-party cookies (Google Analytics) are used on this site that allow the number of users to be quantified anonymously (personal data will never be obtained to identify the user) and thus be able to analyze the use made by users of our service, in order to improve the browsing experience and offer our content optimally.

  • Social networks

    Third-party cookies are used on this website that allow the proper functioning of some social networks (mainly YouTube and Twitter) without using any personal data of the user.

UniversidaddeCádiz
Digital Forensics Evidence Analysis via Intelligent Systems and Practices

Focused thematic WG3

Potsdam: reino jardín y patrimonio mundial de la unesco - germany travel

WHAT: Focused Thematic Workig Group Meeting (FTWG3)
WHEN: 28-29 September, 2022
WHERE: Potsdam (Germany)


Venue: University of Potsdam, Institute of Computer Science.

Location: An der Bahn 2D-14476 Potsdam  (https://goo.gl/maps/RpD2JwUYvy34kZT86)


Description

Within and across working groups there is a need for short, intensive meetings to provide materials that will contribute to the planning of future activities and the deliverables and goals of the Grant Period and beyond. With this in mind, we propose the following activity: Focused Thematic Working Group Meetings Format: Short, 2-day, intensive working meetings comprising 4-6 participants. Although the meetings will be organized within the area of a WG, due to the nature of the Working Group topics and the close interaction between them, we may expect participants to come from more than one WG. WG leaders and co-leaders will propose a theme and list of participants for approval by the MC.


Outputs

Focused thematic working group meetings have three main objectives: 1. To prepare materials and draft deliverables that contribute to the goals of the WG for the present or coming period. 2. Suggest targets to be achieved in the coming Grant Period. 3. Propose activities that will contribute to achieving targets in the coming and future periods. The outcomes of each meeting will be made available to all WG participants for discussion and will be presented at coming Core Group and MC meetings.


Grant Period Goal(s) it will address

O4. Foster and coordinate related R&D activities of the partners. O5. Collect and organise anonymised data extracted from real cases provided by the Digital Forensics Action partners, and devise suitable benchmarks concerning the solution of such cases. O7. Increase awareness among Digital Forensics experts of new methods and techniques and their applicability. O8. Assist Digital Forensics experts in the practical experimentation of the new methods. O9. Disseminate the Action results to stakeholders, not only Government Agencies and Institutions but also private companies working in the Digital Forensics field. O10. Implement training schemes for the parties that are potentially involved. CH. Create a network to explore the potential of the application of Mathematics, Artificial Intelligence and Automated Reasoning to Digital Forensics, and to establish synergies between these fields through the development of new theoretical frameworks, methodologies and tools to support Law Enforcement by evidence analysis and problem solving during digital investigations.


Program of the FTWG3

Wednesday 

  • 09:00-10:00 WG3 current status and future work: Pedro Cabalar
  • 10:30-10:30 Advances in temporal Reasoning: Martin Diéguez
  • 10:30-11:00 Coffe Break
  • 11:00-12:00 An Overview on Equilibrium Logic: David Pearce
  • 12:00-14:00 Lunch
  • 14:00-14:30 Anonymization of the Bank Attack Database: Arnaud Savary
  • 13:30-14:40 Lunch
  • 14:30-15:00 ASP-based queries for the Bank Attack database: Susana Hahn
  • 15:00-15:30 Coffe Break
  • 15:30-16:00 To be announced: Viviana Mascardi
  • 16:00-16:30 To be announced: Andrea Formisano
  • 19:30-21:30 Dinner

Thursday

  • 09:30-10:00 To be announced: Daniele Theseider
  • 10:00-10:30 Deontic ASP: Pedro Cabalar
  • 10:30-11:00 Coffe Break
  • 11:00-11:30 Clingraph and Clinguin: Susana Hahn
  • 11:30-12:00 Plingo: Nicolas Rühling
  • 12:00-14:00 Lunch
  • 14:00-15:00 Round table and discussion

Place: Potsdam (Germany)

Venue: University of Potsdam, Institute of Computer Science.