From: firstname.lastname@example.org To: <email@example.com> Subject: [Caml-list] LPAR-23 - Call for Workshops and Tutorials Date: Tue, 18 Feb 2020 09:49:32 -0500 (EST) Message-ID: <20200218144932.9CD9E17003B2@cs.miami.edu> (raw) CALL FOR WORKSHOPS AND TUTORIALS LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning 22-27 May, 2020, Alicante, Spain https://easychair.org/smart-program/LPAR23/ Workshop and tutorial proposals for LPAR-23 are solicited. These events will take place on May 22 2020, before the main conference. To apply for a workshop or a tutorial, please contact the workshop chair via firstname.lastname@example.org and specify: * A title of the event. * Names and affiliations of organisers. * Proposed duration (half day or full). * Brief description of the goals and the scope/the topics to be covered. Why is the tutorial/workshop relevant for LPAR? * Whether or not the tutorial/workshop has been organised previously. * For previously organized workshops, information on previous meetings should be given (e.g., links to the program, number of submissions, number of participants). * For workshops: What are the plans for publication? The deadline for submitting workshop/tutorial proposals: March 1, 2020.
reply index Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publically to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20200218144932.9CD9E17003B2@cs.miami.edu \ --email@example.com \ --firstname.lastname@example.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
caml-list - the Caml user's mailing list Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list AGPL code for this site: git clone https://public-inbox.org/ public-inbox