Attendee Identification

* Title:

* Last Name:

* First Name:

* Affiliation:

* E-mail:

Invoice information

* Organization/Company/Name:

* Address:

* Zip code:

* City:

* Country:

VAT-Number:

Purshase order n° :

Registration fees

Reminders:
→ The SAT/SMT/AR Summer School will take place on June 26-29, 2024.
→ The workshops will take place on July 1-2, 2024.
→ The IJCAR 2024 conference will take place on July 3-6, 2024.

The registration for the summer school includes 3 lunches, coffee breaks and a dinner on June 27.
The registration fees for each workshop day include lunch and coffee breaks.
The registration fees for the conference include 3 lunches, coffee breaks, the welcome reception on July 2 and the conference banquet on July 4.

* Registration: SAT/SMT/AR Summer School (free of charges)
→ Click here for more information.

I have been accepted for participation at the summer school.

I will not attend the summer school.

* Please enter the special code to participate to the SAT/SMT/AR Summer School.
→ You will not be able to validate your registration without the code.

* Early registration (until June 4): Workshops & IJCAR Conference (VAT included)
→Please select the event(s) you are interested in. Click here for more information.

* → Note: if your paper has several authors, only one of you has to pay the related fees.

Paper(s) you want to pay for

Quantity

* Please indicate your paper ID

* Please indicate your paper title

Libellé Champ email

Nom rattaché

* If you are a student, please upload your student certificate (jpg or pdf).

Taille maximale d’envoi : 1 Mo / Extension(s) autorisée(s) : .jpg,.pdf,

La taille de votre fichier est supérieur à la taille autorisée. Veuillez réduire votre fichier.

L’extension de votre fichier n’est pas autorisée.

* Do you want to add a reservation for the banquet on July 4th?

Yes

No

* Please enter the number of banquet’s reservations you want to add:

Banquet July 4th: 90€ (price per added person)

Quantity

* Last Name

* First Name

Libellé Champ email

* Nom rattaché banquet

* Please enter the first name and the last name of the participant(s) you added.

* Day 1: please choose your workshop in the list below.
→ Click here for more details.

July 1st : ARQNL, the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics.

July 1st : Quantify, the International Workshop on Quantification.

July 1st : TPTP tea party.

July 1st : Vampire, the 8th Vampire workshop.

July 1st : IFIP WG 1.6, a meeting of the IFIP Working Group 1.6 on Rewriting.

* Day 2: please choose your workshop in the list below.
→ Click here for more details.

July 2nd : PAAR, the 9th International Workshop on Practical Aspects of Automated Reasoning.

July 2nd : SC square, the Workshop on Satisfiability Checking and Symbolic Computation.

July 2nd : ThEdu, the 13th International Workshop on Theorem Proving Components for Educational Software.

July 2nd : UNIF, the 38th International Workshop on Unification.

July 2nd : WAIT, the International Workshop on Automated (Co)Inductive Theorem Proving.

* Day 1: please choose your workshop in the list below (via IJCAR Conference).
→ Click here for more details.

July 1st : ARQNL, the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics.

July 1st : Quantify, the International Workshop on Quantification.

July 1st : TPTP tea party.

July 1st : Vampire, the 8th Vampire workshop.

July 1st : IFIP WG 1.6, a meeting of the IFIP Working Group 1.6 on Rewriting.

* Day 2: please choose your workshop on the list below (via IJCAR Conference).
→ Click here for more details.

July 2nd : PAAR, the 9th International Workshop on Practical Aspects of Automated Reasoning.

July 2nd : SC square, the Workshop on Satisfiability Checking and Symbolic Computation.

July 2nd : ThEdu, the 13th International Workshop on Theorem Proving Components for Educational Software.

July 2nd : UNIF, the 38th International Workshop on Unification.

July 2nd : WAIT, the International Workshop on Automated (Co)Inductive Theorem Proving.

* Are you paying the publication fees of your paper(s)?

Yes

No

* → Note: if your paper has several authors, only one of you has to pay the related fees.

1. Paper ** : 220€ TTC

2. Paper ** : 220€ TTC

3. Paper ** : 220€ TTC

Further Information

* SAT/SMT/AR Summer School lunches and social events:
→ Please indicate the meals you want to take.

* Worskhop day 1 lunch:
→ Please indicate the meals you want to take.

July 1st

* Workshop day 2 lunch:
→ Please indicate the meals you want to take.

July 2nd

* IJCAR Conference lunches and social events:
→ Please indicate the meals you want to take.

* Workshop day 1 & 2 lunches:
→ Please indicate the meals you want to take.

July 1st

July 2nd

* Diet:

No dietary restrictions

Vegetarian

Vegan

Other

* Please specify:

* Do you need an invitation letter for visa application ?

Yes

No

Payment method

(Conference organized by Inria, if you are a member of an Inria research team, you must use the Inria member payment method below)

* Payment method

Credit card

Bank transfer

Purchase Order

Inria member

* Please enter your Inria team name:

GDPR requirements

In accordance with Article 13 of the Regulation on the protection of individuals with regard to the processing of personal data and on the free movement of such data, and repealing Directive 95/46/EC (General Data Protection Regulation or GDPR), please find below some information concerning this data collection:

1) The controller representative is the CEO of Inria.
2) The Data Protection Officer (DPO) appointed by Inria can be contacted via dpo@inria.fr or via her postal address: The Data Protection Officer, Inria, 2004 route des lucioles, BP 93, 06902 Sophia-Antipolis cedex.
3) The purpose of the processing is registration to IJCAR 2024.
4) The legal basis of the processing is consent.
5) The recipients or categories of recipients of the personal data are the Inria and Aleou employees in charge of the organization of IJCAR 2024.
6) No transfer of your data to a third country or international organisation will be made.
7) Your data will be stored for a maximum period of 1 year.
8) You can access your personal data or request their deletion. You also have a right of opposition, a right of rectification and a right to limit the processing of your data (see https://www.cnil.fr for more information on your rights). To exercise these rights or for any question about the processing of your data in this system, you can contact the DPO by email: dpo@inria.fr
9) At any time, you may decide to stop the processing and request the rectification or erasure of your collected data.
10) If, after contacting us, you consider that your IT rights and freedoms are not respected or that the processing does not comply with data protection rules, you can file a complaint with the CNIL.
11) This data collection is done on a voluntary basis. Under no circumstances are you required by regulation, contract or other means to provide your data.
12) This processing operation does not generate any profiling or automated decision-making concerning you on the basis of your data and the processing thereof.

Cancellation policy

All cancellation and modification requests must be sent to Aleou by email to registration-ijcar2024@aleou.fr
• SAT/SMT/AR Summer School registration deadline: midnight June 17, 2024.
• IJCAR 2024 registration deadline: midnight June 24, 2024.

Inria’s cancellation policy is as follows:
• Cancellation free of charge until until midnight June 24, 2024.
• From June 25, 2024: no cancellation or refund possible.

Law on data processing and civil liberties

In accordance with Articles 39 and 40 of the French Data Protection Act, you have the right to access and correct your personal data. Inria has a "Correspondant Informatique et Libertés" (CIL). The CIL keeps a register of all data processing within Inria, which is subject to declaration under this law. He also guarantees a right of access and rectification of this data. For any request, please contact cil@inria.fr.

* I confirm that I have read the notices relating to the GDPR and the cancellation policy.

Yes

* I agree to communicate my name and my e-mail address in order to receive future announcements on Logic and Automated Reasoning conferences (mailing-list maintained by Geoff Suttcliffe).

Yes

No

Cart

Quantity

---

Price excl. VAT

--- €

VAT

--- €

Price inc. VAT

--- €

Deposit x%

--- €

Paper ID

Last name - banquet