categories - Category Theory list
 help / color / mirror / Atom feed
From: Nikos Tzevelekos <nikos.tzevelekos-aUOafQfIvX+1Qrn1Bg8BZw@public.gmane.org>
To: categories-59hdLBrVOVU@public.gmane.org,
	theorynt-JX7+OpRa80RAtAYDKi7u6De48wsgrGvP@public.gmane.org,
	types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org,
	types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org,
	easst-members-wE+tr93vHrbQzY9nttDBhA@public.gmane.org,
	fm-announcements-cwGa0Mn2PPIb0b0yYlRVAg@public.gmane.org,
	proglang-Tmj1lob9twqVc3sceRu5cw@public.gmane.org,
	gratra-FfzAktRlpg5lCZ00bGekxt7m1AW04n4n@public.gmane.org,
	ifmsig-aVqd/T0vMsmzQB+pC5nmwQ@public.gmane.org,
	sigsoft-l-eNF/EIkcjGz2fBVCVOL8/A@public.gmane.org,
	acm-fse-IAPFreCvJWOPGO37gQtJtnIPMjoJpjVV@public.gmane.org,
	announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org,
	papm-jNDFPZUTrfRp3KkYoAkZooXGvZO2VSpW@public.gmane.org,
	petrinet-jNDFPZUTrfQBEfOqpokbeYV0Y/DQsy6Ps0AfqQuZ5sE@public.gmane.org,
	concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org,
	ecoop-info-khN00PUlwG3YtjvyW6yDsg@public.gmane.org,
	joint-theory-seminars-aUOafQfIvX+1Qrn1Bg8BZw@public.gmane.org
Subject: HIGHLIGHTS 2017 -- Call for Participation
Date: Fri, 30 Jun 2017 13:44:57 +0100	[thread overview]
Message-ID: <fa28b6fe-05df-fce9-15fd-5a692e1f31cd@qmul.ac.uk> (raw)

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[with apologies for multiple postings]

HIGHLIGHTS 2017 -- FIFTH CONFERENCE ON HIGHLIGHTS OF LOGIC, GAMES AND 
AUTOMATA
Call for Participation
12-15 SEPTEMBER 2017, London, UK
http://highlights-conference.org

* HIGHLIGHTS 2017 is the fifth conference on Highlights of Logic, Games 
and Automata which aims at integrating the community working in these 
fields.  Papers from these areas are dispersed across many conferences, 
which makes them difficult to follow. A visit to Highlights conference 
should offer a wide picture of the latest research in the field and a 
chance to meet everybody in the community, not just those who happen to 
publish in one particular proceedings volume.

* The program will offer 59 contributed talks, three keynotes:

+ Mikolaj Bojanczyk, "Recognisability equals MSO definability for
graphs of bounded treewidth"
+ Sanjay Jain, "Quasi Polynomial and FPT algorithms for parity games"
+ Hung Ngo, "Shannon-type inequalities, submodular width, and
disjunctive datalog"

two special sessions organized by:
+ Patricia Bouyer, "Games played on graphs: quantitative games, games
with multi-objectives, non-zero sum games"
+ Alexandra Silva, "Model learning, automata and its applications"

and two tutorials
+ Veronique Cortier, "Verification of security protocols"
+ Damien Pous, 	"Coinduction up to and automata algorithms"

Full programme can be found at: http://highlights-conference.org.

*  Registration open until August 20, 2017
    at http://highlights-conference.org/register/


                 reply	other threads:[~2017-06-30 12:44 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=fa28b6fe-05df-fce9-15fd-5a692e1f31cd@qmul.ac.uk \
    --to=nikos.tzevelekos-auoafqfivx+1qrn1bg8bzw@public.gmane.org \
    --cc=acm-fse-IAPFreCvJWOPGO37gQtJtnIPMjoJpjVV@public.gmane.org \
    --cc=announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org \
    --cc=categories-59hdLBrVOVU@public.gmane.org \
    --cc=concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org \
    --cc=easst-members-wE+tr93vHrbQzY9nttDBhA@public.gmane.org \
    --cc=ecoop-info-khN00PUlwG3YtjvyW6yDsg@public.gmane.org \
    --cc=fm-announcements-cwGa0Mn2PPIb0b0yYlRVAg@public.gmane.org \
    --cc=gratra-FfzAktRlpg5lCZ00bGekxt7m1AW04n4n@public.gmane.org \
    --cc=ifmsig-aVqd/T0vMsmzQB+pC5nmwQ@public.gmane.org \
    --cc=joint-theory-seminars-aUOafQfIvX+1Qrn1Bg8BZw@public.gmane.org \
    --cc=papm-jNDFPZUTrfRp3KkYoAkZooXGvZO2VSpW@public.gmane.org \
    --cc=petrinet-jNDFPZUTrfQBEfOqpokbeYV0Y/DQsy6Ps0AfqQuZ5sE@public.gmane.org \
    --cc=proglang-Tmj1lob9twqVc3sceRu5cw@public.gmane.org \
    --cc=sigsoft-l-eNF/EIkcjGz2fBVCVOL8/A@public.gmane.org \
    --cc=theorynt-JX7+OpRa80RAtAYDKi7u6De48wsgrGvP@public.gmane.org \
    --cc=types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org \
    --cc=types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@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).