From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8449 Path: news.gmane.org!not-for-mail From: PhDs in Logic VI Newsgroups: gmane.comp.mathematics.openmath.announce,gmane.comp.ai.loom,gmane.science.mathematics.categories,gmane.comp.science.concurrency Subject: Call for Abstracts (PhDs in Logic VII) Date: Mon, 22 Dec 2014 15:06:14 +0100 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============2111344019326004528==" X-Trace: ger.gmane.org 1420539468 29915 80.91.229.3 (6 Jan 2015 10:17:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 6 Jan 2015 10:17:48 +0000 (UTC) To: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Envelope-to: gcmoa-om-announce@m.gmane.org Original-Received: from xedge1.campus.tue.nl ([131.155.6.116]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Y8RCU-0002fP-Uh for gcmoa-om-announce@m.gmane.org; Tue, 06 Jan 2015 11:17:23 +0100 Original-Received: from dam04.win.tue.nl (131.155.0.167) by xedge1.campus.tue.nl (131.155.6.118) with Microsoft SMTP Server id 14.3.195.1; Tue, 6 Jan 2015 11:17:17 +0100 Original-Received: from [127.0.1.1] (localhost [127.0.0.1]) by dam04.win.tue.nl (Postfix) with ESMTP id 51AA36C1023; Tue, 6 Jan 2015 11:21:50 +0100 (CET) Original-Received: from XSERVER23A.campus.tue.nl (xserver23a.campus.tue.nl [131.155.6.110]) by dam04.win.tue.nl (Postfix) with ESMTPS id 2D77C6C0045 for ; Mon, 22 Dec 2014 15:10:38 +0100 (CET) Original-Received: from XEDGE1.campus.tue.nl (131.155.6.116) by XSERVER23A.campus.tue.nl (131.155.6.110) with Microsoft SMTP Server (TLS) id 14.3.195.1; Mon, 22 Dec 2014 15:06:16 +0100 Original-Received: from mail-ie0-f182.google.com (209.85.223.182) by xedge1.campus.tue.nl (131.155.6.118) with Microsoft SMTP Server (TLS) id 14.3.195.1; Mon, 22 Dec 2014 15:06:17 +0100 Original-Received: by mail-ie0-f182.google.com with SMTP id x19so4386316ier.13 for ; Mon, 22 Dec 2014 06:06:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=xIJ5prkRIWMwSzcE3n2pX+0HlYblgmofO9H+IjeCnHI=; b=B35KTuAZf48W0hNxRQxNzjuVqGorXR9k2LDAJ659xkDrLeOZKqyXiE/mXi3/KUQ6uv yYfZTTS9AEhMq7XbKy1R9nTOixcX2qH4391CTx4qG+U83I5aZxvOKpeqjeDDfyA+Y9St CLNUhN/FC8jDt8BFrR0yIIwkVILikHHLHi9ZEl6fSAP589t4ZZMS0DfcJafgdd3kx8PS OzAAY+1wcPQlppj37mf0/ukcT34SbA922X+7RgE9c3/oVEW5mUpmRfZ+m65gSneB5Wo/ /pM0698bG+a4QbHJZMQ5g+zazsAbSHR/UfIRVXC4nofHj7ZkaeHyvG/Q6Ra1VH4QgyAi VD5g== X-Received: by 10.107.135.211 with SMTP id r80mr20753269ioi.67.1419257174407; Mon, 22 Dec 2014 06:06:14 -0800 (PST) Original-Received: by 10.64.14.243 with HTTP; Mon, 22 Dec 2014 06:06:14 -0800 (PST) Received-SPF: Pass (XEDGE1.campus.tue.nl: domain of phdsinlogic-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org designates 209.85.223.182 as permitted sender) receiver=XEDGE1.campus.tue.nl; client-ip=209.85.223.182; helo=mail-ie0-f182.google.com; X-Mailman-Approved-At: Tue, 06 Jan 2015 11:21:48 +0100 X-BeenThere: om-announce-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: general announcements related to OpenMath List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: Errors-To: om-announce-bounces-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org Xref: news.gmane.org gmane.comp.mathematics.openmath.announce:3053 gmane.comp.ai.loom:189 gmane.science.mathematics.categories:8449 gmane.comp.science.concurrency:4016 Archived-At: --===============2111344019326004528== Content-Type: multipart/alternative; boundary="001a113ed20ab9c1d3050ace8f48" --001a113ed20ab9c1d3050ace8f48 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable PhDs in Logic VII May 14-16th, 2015 VIENNA, AUSTRIA http://phdsinlogic.logic-cs.at FIRST CALL FOR ABSTRACTS AND PARTICIPATION PhDs in Logic is an annual graduate conference in logic. Each year we invite four established researchers in various branches of logic to do a tutorial on their work in two 45-minute sessions. We also give PhD students the opportunity to do a twenty-minute presentation on (a) their own work or (b) an overview of some topic in their field. The conference includes the following tutorial speakers. Thomas Eiter (Vienna University of Technology) Michael Moortgat (Universiteit Utrecht) Revantha Ramanayake (Vienna University of Technology) Torsten Schaub (University Potsdam) PhD students in logic with a background in philosophy, computer science, mathematics or linguistics are the intended audience for these tutorials. They are also the type of students we have in mind for our thirty-minute student sessions. Students interested in doing a talk should send a 500-1000 word blinded abstract to https://easychair.org/conferences/?conf=3Dpil2015 by February 12th, 2015. T= he selection of the talks will follow a double-blind review process. Please make sure that your name and affiliation are not included in the abstract. We welcome students to participate in PhDs in Logic VII regardless of whether they want to do a presentation. We also invite master students in logic, first year postdocs, and logicians from disciplines other than philosophy, computer science, mathematics and linguistics to apply. Students interested in participating without giving a talk should contact us at phdsinlogic-Re5JQEeQqe9fmgfxC/sS/w@public.gmane.org For more information, visit our website at http://phdsinlogic.logic-cs.at. In case you have any questions, please do not hesitate to contact us via phdsinlogic-Re5JQEeQqe9fmgfxC/sS/w@public.gmane.org Organizing Committee: Ronald de Haan, Martin Kronegger. Scientific Committee: Agata Ciabattoni, Jan van Eijck, Chris Ferm=C3=BCller, Nina Gierasimczuk, Thomas Icard, Eric Pacuit, Jakub Szymanik, Anna Zamansky. Advisory Board: Stefan Szeider, Helmut Veith. Sponsors: Vienna Center for Logic and Algorithms, Doctoral Program Logical Methods in Computer Science. --001a113ed20ab9c1d3050ace8f48 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
PhDs in Logic VII

May 1= 4-16th, 2015
VIENNA, AUSTRIA


FIRST CALL FOR ABSTRACTS AND PARTICIPATION

<= /div>
PhDs in Logic is an annual graduate conference in logic. Each yea= r we invite four established researchers in various branches of logic to do= a tutorial on their work in two 45-minute sessions. We also give PhD stude= nts the opportunity to do a twenty-minute presentation on (a) their own wor= k or (b) an overview of some topic in their field.

The conference includes the following tutorial speakers.

Thomas Eiter (Vienna University of Technology)
Michael Mo= ortgat (Universiteit Utrecht)
Revantha Ramanayake (Vienna Univers= ity of Technology)
Torsten Schaub (University Potsdam)
=
PhD students in logic with a background in philosophy, compu= ter science, mathematics or linguistics are the intended audience for these= tutorials. They are also the type of students we have in mind for our thir= ty-minute student sessions. Students interested in doing a talk should send= a 500-1000 word blinded abstract to https://easychair.org/conferences/?conf=3Dpil2015 by February 12th, 2015. The selection of the talks will follow a double-= blind review process. Please make sure that your name and affiliation are n= ot included in the abstract.


For more informa= tion, visit our website at http:= //phdsinlogic.logic-cs.at. In case you have any questions, please do no= t hesitate to contact us via phdsi= nlogic-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org.


Organizing Co= mmittee: Ronald de Haan, Martin Kronegger.=E2=80=82 Scientific Committee: A= gata Ciabattoni, Jan van Eijck, Chris Ferm=C3=BCller, Nina Gierasimczuk, Th= omas Icard, Eric Pacuit, Jakub Szymanik, Anna Zamansky.=E2=80=82 Advisory B= oard: Stefan Szeider, Helmut Veith.=C2=A0 Sponsors: Vienna Center for Logic= and Algorithms, Doctoral Program Logical Methods in Computer Science.

--001a113ed20ab9c1d3050ace8f48-- --===============2111344019326004528== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Om-announce mailing list Om-announce-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org http://openmath.org/mailman/listinfo/om-announce --===============2111344019326004528==--