categories - Category Theory list
 help / color / mirror / Atom feed
From: PhDs in Logic VI <phdsinlogic-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
To: <ln-Ht8RKSkSH80@public.gmane.org>,
	<formalgrammar-owner-ZyRDODgFA+R6auLlOhE+pQ@public.gmane.org>,
	<amlap-list-cKp2Pgte/LZe4xh82S9ftw@public.gmane.org>,
	<agents-5fL7ta8dD402EctHIo1CcQ@public.gmane.org>,
	<agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org>,
	<asci-Offpp+6g+8udIhEUFHOBvg@public.gmane.org>,
	<categories-59hdLBrVOVU@public.gmane.org>,
	<clp-re5r+meJ/dN84TsAtUCrkA@public.gmane.org>,
	<collinsp-m1R5ax8zXQK1Qrn1Bg8BZw@public.gmane.org>,
	<comlab-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org>,
	<complog-qcTL/1vZYtiVc3sceRu5cw@public.gmane.org>,
	<comprox-CezfXpuMXD6Fxr2TtlUqVg@public.gmane.org>,
	<compulognet-parimp-NpaDoYMe8CDPvaDv0MAzMN7lo5+wdyHW@public.gmane.org>,
	<comsoc-4+jYJfmkT58@public.gmane.org>,
	<concurrency-rh8NL+sEX9E@public.gmane.org>,
	<dbworld-hcNo3dDEHLuVc3sceRu5cw@public.gmane.org>,
	<deptling-e94Sedi4moU@public.gmane.org>,
	<dl-N/hjgmPSN2rYtjvyW6yDsg@public.gmane.org>,
	<ea-LzjI1I19FwmELgA04lAiVw@public.gmane.org>,
	<elsnet-list-R73rH8clET8dnm+yROfE0A@public.gmane.org>,
	<elsnet-list-gwRxNoBBbLdmR6Xm/wNWPw@public.gmane.org>,
	<event-HKdKWCMRuSoyzp8zgePYoYQuADTiUCJX@public.gmane.org>,
	<fg-db-jNDFPZUTrfSnUo9mFetCM19APurDa8NBs0AfqQuZ5sE@public.gmane.org>,
	<fm-discussion-I9UBhjeNIXeFxr2TtlUqVg@public.gmane.org>,
	<gazette-Y9PwBZCNCtuaU6pB/6tVuNBrPzR7GuOlhC4ANOJQIlc@public.gmane.org>,
	<ifmsig-aVqd/T0vMsmzQB+pC5nmwQ@public.gmane.org>,
	<kgs-list-DX+603jRYB8@public.gmane.org>,
	<ki-inf-82PuzOe0+4+KVelC9LqlCA@public.gmane.org>,
	<kr-7hZN9r6sC8U@public.gmane.org>,
	<lfcs-interest-hrkdsMTsJDGFxr2TtlUqVg@public.gmane.org>,
	<LFG-JX7+OpRa80Qn2jlRhUkTdHtEO5hm4Jgk2LY78lusg7I@public.gmane.org>,
	<lics-jNDFPZUTrfT1r4uDOcZfYxQ0avMEgXv9@public.gmane.org>,
	<loco-5fL7ta8dD402EctHIo1CcQ@public.gmane.org>,
	<logic-UfE5FQABeHN2Qaki92YDXw@public.gmane.org>,
	<logic-list-pxSi+dnQzZMxHbG02/KK1g@public.gmane.org>,
	<log
Subject: Call for Abstracts (PhDs in Logic VII)
Date: Mon, 22 Dec 2014 15:06:14 +0100	[thread overview]
Message-ID: <CA+NAxC2HJrtkd0K=bH9F9kY1wnVC+NgPDnihP7XJuJQDWqv=Qg__25461.1601973467$1420539468$gmane$org@mail.gmail.com> (raw)


[-- Attachment #1.1: Type: text/plain, Size: 2277 bytes --]

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=pil2015 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 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üller, 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.

[-- Attachment #1.2: Type: text/html, Size: 2859 bytes --]

[-- Attachment #2: Type: text/plain, Size: 174 bytes --]

_______________________________________________
Om-announce mailing list
Om-announce-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org
http://openmath.org/mailman/listinfo/om-announce

                 reply	other threads:[~2014-12-22 14:06 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly 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='CA+NAxC2HJrtkd0K=bH9F9kY1wnVC+NgPDnihP7XJuJQDWqv=Qg__25461.1601973467$1420539468$gmane$org@mail.gmail.com' \
    --to=phdsinlogic-re5jqeeqqe8avxtiumwx3w@public.gmane.org \
    --cc=LFG-JX7+OpRa80Qn2jlRhUkTdHtEO5hm4Jgk2LY78lusg7I@public.gmane.org \
    --cc=agents-5fL7ta8dD402EctHIo1CcQ@public.gmane.org \
    --cc=agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org \
    --cc=amlap-list-cKp2Pgte/LZe4xh82S9ftw@public.gmane.org \
    --cc=asci-Offpp+6g+8udIhEUFHOBvg@public.gmane.org \
    --cc=categories-59hdLBrVOVU@public.gmane.org \
    --cc=clp-re5r+meJ/dN84TsAtUCrkA@public.gmane.org \
    --cc=collinsp-m1R5ax8zXQK1Qrn1Bg8BZw@public.gmane.org \
    --cc=comlab-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org \
    --cc=complog-qcTL/1vZYtiVc3sceRu5cw@public.gmane.org \
    --cc=comprox-CezfXpuMXD6Fxr2TtlUqVg@public.gmane.org \
    --cc=compulognet-parimp-NpaDoYMe8CDPvaDv0MAzMN7lo5+wdyHW@public.gmane.org \
    --cc=comsoc-4+jYJfmkT58@public.gmane.org \
    --cc=concurrency-rh8NL+sEX9E@public.gmane.org \
    --cc=dbworld-hcNo3dDEHLuVc3sceRu5cw@public.gmane.org \
    --cc=deptling-e94Sedi4moU@public.gmane.org \
    --cc=dl-N/hjgmPSN2rYtjvyW6yDsg@public.gmane.org \
    --cc=ea-LzjI1I19FwmELgA04lAiVw@public.gmane.org \
    --cc=elsnet-list-R73rH8clET8dnm+yROfE0A@public.gmane.org \
    --cc=elsnet-list-gwRxNoBBbLdmR6Xm/wNWPw@public.gmane.org \
    --cc=event-HKdKWCMRuSoyzp8zgePYoYQuADTiUCJX@public.gmane.org \
    --cc=fg-db-jNDFPZUTrfSnUo9mFetCM19APurDa8NBs0AfqQuZ5sE@public.gmane.org \
    --cc=fm-discussion-I9UBhjeNIXeFxr2TtlUqVg@public.gmane.org \
    --cc=formalgrammar-owner-ZyRDODgFA+R6auLlOhE+pQ@public.gmane.org \
    --cc=gazette-Y9PwBZCNCtuaU6pB/6tVuNBrPzR7GuOlhC4ANOJQIlc@public.gmane.org \
    --cc=ifmsig-aVqd/T0vMsmzQB+pC5nmwQ@public.gmane.org \
    --cc=kgs-list-DX+603jRYB8@public.gmane.org \
    --cc=ki-inf-82PuzOe0+4+KVelC9LqlCA@public.gmane.org \
    --cc=kr-7hZN9r6sC8U@public.gmane.org \
    --cc=lfcs-interest-hrkdsMTsJDGFxr2TtlUqVg@public.gmane.org \
    --cc=lics-jNDFPZUTrfT1r4uDOcZfYxQ0avMEgXv9@public.gmane.org \
    --cc=ln-Ht8RKSkSH80@public.gmane.org \
    --cc=loco-5fL7ta8dD402EctHIo1CcQ@public.gmane.org \
    --cc=logic-UfE5FQABeHN2Qaki92YDXw@public.gmane.org \
    --cc=logic-list-pxSi+dnQzZMxHbG02/KK1g@public.gmane.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
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).