[Hol-info] IJCAR 2024: 2nd call for co-located events

2023-11-29 Thread Peter Lammich via hol-info 

/Apologies if you receive multiple copies/

*IJCAR 2024: 2nd call for co-located events*

12th International Joint Conference on Automated Reasoning – IJCAR 2024
July 1–6, 2024, Nancy, France
https://ijcar2024.loria.fr

DEADLINE EXTENSION: submissions open till December 8th, 2023

The International Joint Conference on Automated Reasoning (IJCAR 2024) is
soliciting proposals for co-located events such as workshops, tutorials and
competitions.

Researchers are invited to submit proposals on any topic related to 
automated

reasoning, from theoretical foundations to tools and applications.

The co-located events will take place before the IJCAR conference on 
Monday &

Tuesday, July 1-2, 2024.

Proposals can have up to three pages and should consist of the following two
parts.

    A description part including:
    a short scientific justification of the proposed topic, its
  significance, and the particular benefits of the workshop to the
  community, as well as a list of previous or related workshops (if
  relevant);
    a brief description (up to 120 words) of the event for the 
website and

  publicity material.
    An organisational part including:
    contact information for the workshop organisers;
    proposed affiliated conference;
    estimate of the number of workshop participants;
    proposed format and agenda (e.g. paper presentations, 
tutorials, demo

  sessions, etc.)
    potential invited speakers;
    procedures for selecting papers and participants;
    tentative schedule for paper submission and notification of 
acceptance;

    plans (and needs) for remote participation [*];
    plans for dissemination, if any (e.g. a journal special issue);
    duration (which may vary from one day to two days);
    any other special requirements.

The organisers of co-located events are expected to create and maintain 
a website

for the event; handle paper selection, reviewing and acceptance; draw up a
tentative programme of talks; advertise their event through specialist 
mailing
lists; prepare the informal pre-proceedings (if applicable) in a timely 
fashion;
plan for remote participation (if applicable); and arrange 
post-proceedings if any.


The IJCAR organising committee will handle promotion of the event on the 
main

conference website; integration of the event's programme into the overall
timetable; registration of participants; arrangement of an appropriate 
meeting

room; and provision of lunch and coffee breaks for participants.

Important Dates

    Submission of co-located event proposals (extended): December 8th, 2023
    Notification of success of proposals: December 11th, 2023
    Main conference: July 3-6, 2024
    Workshop dates: July 1-2, 2024


Proposals should be sent directly to Sophie Tourret by email at
sophie.tour...@inria.fr .


[*] A zoom connection can be provided on demand.
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] 2024 Alonzo Church Award Call for Nominations

2023-11-29 Thread geoff 
CALL FOR NOMINATIONS

The 2024 Alonzo Church Award for Outstanding Contributions to Logic and 
Computation

INTRODUCTION

An annual award, called the Alonzo Church Award for Outstanding
Contributions to Logic and Computation, was established in 2015 by the
ACM Special Interest Group for Logic and Computation (SIGLOG), the
European Association for Theoretical Computer Science (EATCS), the
European Association for Computer Science Logic (EACSL), and the Kurt
Goedel Society (KGS). The award is for an outstanding contribution
represented by a paper or by a small group of papers published within
the past 25 years. This time span allows the lasting impact and depth
of the contribution to have been established.  The award can be given
to an individual, or to a group of individuals who have collaborated
on the research. For the rules governing this award, see
https://siglog.org/alonzo-church-award/,
https://www.eatcs.org/index.php/church-award/, and 
https://www.eacsl.org/alonzo-church-award/.

The 2023 Alonzo Church Award was jointly to Lars Birkedal, Aleš Bizjak, Derek
Dreyer, Jacques-Henri Jourdan, Ralf Jung, Robbert Krebbers, Filip Sieczkowski,
Kasper Svendsen, David Swasey and Aaron Turon for the design and implementation
of Iris, a higher-order concurrent separation logic framework.  

ELIGIBILITY AND NOMINATIONS

The contribution must have appeared in a paper or papers published within
the past 25 years. Thus, for the 2024 award, the cut-off date is January 1,
1999. When a paper has appeared in a conference and then in a journal, the
date of the journal publication will determine the cut-off date. In
addition, the contribution must not yet have received recognition via a
major award, such as the Turing Award, the Kanellakis Award, or the Goedel
Prize. (The nominee(s) may have received such awards for other
contributions.) While the contribution can consist of conference or journal
papers, journal papers will be given a preference.

Nominations for the 2024 award are now being solicited. The nominating
letter must summarise the contribution and make the case that it is
fundamental and outstanding. The nominating letter can have multiple
co-signers. Self-nominations are excluded. Nominations must include: a
proposed citation (up to 25 words); a succinct (100-250 words) description
of the contribution; and a detailed statement (not exceeding four pages) to
justify the nomination. Nominations may also be accompanied by supporting
letters and other evidence of worthiness. Nominations for the 2024 award 
are automatically considered for all future editions of the award, until 
they receive the award or the nominated papers are no longer eligible.

Nominations should be submitted to igor.walukiew...@gmail.com by March 1, 2024.

PRESENTATION OF THE AWARD

The 2024 award will be presented at the Thirty-Ninth Annual ACM/IEEE Symposium 
on
Logic in Computer Science (LICS) which is scheduled to take place in
Tallinn, Estonia during 8–12 July 2024. The award will be accompanied by 
an invited lecture by the award winner, or by one of the award winners. 
The awardee(s) will receive a  certificate and a cash prize of USD 2,000. 
If there are multiple awardees, this amount will be shared.


___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] ECAI-2024: Call for Papers, Tutorial Proposals and Workshop Proposals

2023-11-29 Thread Luis Magdalena 
The 27th European Conference on Artificial Intelligence (ECAI-2024) will 
be held in the beautiful city of Santiago de Compostela during 19-24 
October 2024. Join us to mark the 50th birthday since the first AI 
conference was held in Europe back in 1974.


We invite all members of the international AI research community to 
submit their best work to ECAI. We furthermore invite proposals for 
workshops and tutorials to be held during the first two days of the 
conference. Proposals from all subfields of AI, and organisers and 
presenters of all levels of seniority are welcome.



The deadlines are as follows:


Workshop proposals: Monday, 15 January 2024

Tutorial proposals: Thursday, 15 February 2024

Papers:    Thursday, 25 April 2024 (abstract deadline one week earlier)

Demos:    Thursday, 9 May 2024

Consult the ECAI-2024 website for the full Calls:


Call for Workshop Proposals:https://www.ecai2024.eu/calls/workshops 



Call for Tutorial Proposals:https://www.ecai2024.eu/calls/tutorials 



Call for Papers:https://www.ecai2024.eu/calls/main-track 



Call for Demos: https://www.ecai2024.eu/calls/demos 



Calls for the Doctoral Consortium and our sister conference on 
Prestigious Applications of Intelligent Systems (PAIS) will get 
published soon, so please stay tuned.


--
Luis Magdalena
Publicity Chair of the European Conference on Artificial Intelligence 
(ECAI-2024)
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info