From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 99635820A3 for ; Tue, 3 Sep 2013 20:13:50 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of haifengguo@unomaha.edu) identity=pra; client-ip=207.46.163.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="haifengguo@unomaha.edu"; x-sender="haifengguo@unomaha.edu"; x-conformance=sidf_compatible Received-SPF: PermError (mail2-smtp-roc.national.inria.fr: cannot correctly interpret sender authenticity information from domain of haifengguo@unomaha.edu) identity=mailfrom; client-ip=207.46.163.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="haifengguo@unomaha.edu"; x-sender="haifengguo@unomaha.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@co9outboundpool.messaging.microsoft.com) identity=helo; client-ip=207.46.163.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="haifengguo@unomaha.edu"; x-sender="postmaster@co9outboundpool.messaging.microsoft.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmYBAHsmJlLPLqManGdsb2JhbABbDgiDJkUBAQrCTg4BAQEBAQYNCQkUKAGCIwEBAQMBEgsdGwsIIwE+QiYBBBMIAQsOh1oGDJkIgkCBDAEBijwBAYoih36UGgONaos6hQmGAogNP4Iq X-IPAS-Result: AmYBAHsmJlLPLqManGdsb2JhbABbDgiDJkUBAQrCTg4BAQEBAQYNCQkUKAGCIwEBAQMBEgsdGwsIIwE+QiYBBBMIAQsOh1oGDJkIgkCBDAEBijwBAYoih36UGgONaos6hQmGAogNP4Iq X-IronPort-AV: E=Sophos;i="4.89,1015,1367964000"; d="scan'208";a="31367206" Received: from co9ehsobe003.messaging.microsoft.com (HELO co9outboundpool.messaging.microsoft.com) ([207.46.163.26]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 03 Sep 2013 20:13:48 +0200 Received: from mail68-co9-R.bigfish.com (10.236.132.245) by CO9EHSOBE008.bigfish.com (10.236.130.71) with Microsoft SMTP Server id 14.1.225.22; Tue, 3 Sep 2013 18:13:46 +0000 Received: from mail68-co9 (localhost [127.0.0.1]) by mail68-co9-R.bigfish.com (Postfix) with ESMTP id 6F89248012E; Tue, 3 Sep 2013 18:13:46 +0000 (UTC) X-Forefront-Antispam-Report: CIP:157.56.240.133;KIP:(null);UIP:(null);IPV:NLI;H:BL2PRD0710HT001.namprd07.prod.outlook.com;RD:none;EFVD:NLI X-SpamScore: 21 X-BigFish: PS21(zzdb82hzz1f42h1d77h208ch1ee6h1de0h1fdah2073h1202h1e76h1d1ah1d2ah1fc6hzz8275ch1de098h177df4h17326ah1de097h186068h1954cbh8275dhz32i2a8h839h944hd24hf0ah1220h1288h12a5h12a9h12bdh137ah13b6h1441h1504h1537h153bh162dh1631h1758h18e1h1946h19b5h19ceh1ad9h1b0ah1d07h1d0ch1d2eh1d3fh1dc1h1de9h1dfeh1dffh1e1dh1fe8h1ff5h9a9j35h1deas1b1cn1b1bi1155h) X-Forefront-Antispam-Report-Untrusted: SFV:NSPM;SFS:(189002)(199002)(51856001)(19580405001)(83322001)(19580395003)(31966008)(65816001)(74662001)(80976001)(561944002)(15395725003)(66066001)(74876001)(80022001)(74502001)(47446002)(74366001)(75432001)(47736001)(49866001)(4396001)(47976001)(50986001)(81542001)(81342001)(15975445006)(74706001)(69226001)(46102001)(74316001)(83072001)(81816001)(53806001)(16601075003)(54356001)(76796001)(33646001)(77096001)(56816003)(76786001)(76576001)(15202345003)(63696002)(81686001)(76176001)(56776001)(54316002)(76482001)(59766001)(79102001)(77982001)(24736002);DIR:OUT;SFP:;SCL:1;SRVR:BY2PR07MB218;H:BY2PR07MB217.namprd07.prod.outlook.com;CLIP:137.48.185.155;RD:InfoNoRecords;MX:1;A:1;LANG:en; Received: from mail68-co9 (localhost.localdomain [127.0.0.1]) by mail68-co9 (MessageSwitch) id 1378232023101867_15010; Tue, 3 Sep 2013 18:13:43 +0000 (UTC) Received: from CO9EHSMHS010.bigfish.com (unknown [10.236.132.227]) by mail68-co9.bigfish.com (Postfix) with ESMTP id 9155960076; Tue, 3 Sep 2013 18:13:42 +0000 (UTC) Received: from BL2PRD0710HT001.namprd07.prod.outlook.com (157.56.240.133) by CO9EHSMHS010.bigfish.com (10.236.130.20) with Microsoft SMTP Server (TLS) id 14.16.227.3; Tue, 3 Sep 2013 18:13:42 +0000 Received: from BY2PR07MB218.namprd07.prod.outlook.com (10.242.46.11) by BL2PRD0710HT001.namprd07.prod.outlook.com (10.255.102.36) with Microsoft SMTP Server (TLS) id 14.16.353.4; Tue, 3 Sep 2013 18:13:37 +0000 Received: from BY2PR07MB217.namprd07.prod.outlook.com (10.242.46.22) by BY2PR07MB218.namprd07.prod.outlook.com (10.242.46.11) with Microsoft SMTP Server (TLS) id 15.0.745.25; Tue, 3 Sep 2013 18:13:33 +0000 Received: from BY2PR07MB217.namprd07.prod.outlook.com ([169.254.6.118]) by BY2PR07MB217.namprd07.prod.outlook.com ([169.254.6.218]) with mapi id 15.00.0745.000; Tue, 3 Sep 2013 18:13:33 +0000 From: Haifeng Guo To: Haifeng Guo Thread-Topic: Call for FLoc14/ICLP Workshop proposals Thread-Index: Ac6o0Vxcv4jglCjuS7aZNyihviJSnA== Date: Tue, 3 Sep 2013 18:13:31 +0000 Message-ID: <541434cc4e6c481c9abb5c06cea91401@BY2PR07MB217.namprd07.prod.outlook.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [137.48.185.155] x-forefront-prvs: 09583628E0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-FOPE-CRA-Verdict: 157.56.240.133$gannon.edu%0%1%unomaha.edu%False%False%0$inf.unibz.it%23436%4%unomaha.edu%False%False%0$servidor.unam.mx%0%1%unomaha.edu%False%False%0$units.it%0%1%unomaha.edu%False%False%0$emory.edu%0%1%unomaha.edu%False%False%0$unm.edu%0%1%unomaha.edu%False%False%0$deri.org%0%1%unomaha.edu%False%False%0$princeton.edu%40895%4%unomaha.edu%False%False%0$ua.pt%0%1%unomaha.edu%False%False%0$ X-OriginatorOrg: unomaha.edu X-FOPE-CONNECTOR: Id%0$Dn%*$RO%0$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%UNIPR.IT$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%GANNON.EDU$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%INF.UNIBZ.IT$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%SERVIDOR.UNAM.MX$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%UNITS.IT$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%MAY.IE$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%EMORY.EDU$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%UALG.PT$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%UNM.EDU$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%DERI.ORG$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%PRINCETON.EDU$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%CS.WASHINGTON.EDU$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%UNIUD.IT$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%UA.PT$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%UCY.AC.CY$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%ELET.POLIMI.IT$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%DISCO.UNIMIB.IT$RO%1$TLS%0$FQDN%$TlsDn% X-FOPE-CONNECTOR: Id%0$Dn%ASU.EDU$RO%1$TLS%0$FQDN%$TlsDn% X-Validation-by: haifengguo@unomaha.edu Subject: [Caml-list] Call for FLoc14/ICLP Workshop proposals (Apologies for cross postings) Dear all,=20 Please find attached a call for workshop proposals in FLoC14, including ICL= P's workshops which I chair.=20 FLoC14/ICLP14 will be held in Vienna on July, 2014. Workshops collocated wi= th ICLP14 are one of the best venues for the presentation and discussion of= preliminary work, novel ideas, and new open problems to a wide and interes= ted audience. Collocated workshops also provide an opportunity for presenti= ng specialized topics and opportunities for intensive discussions and proje= ct collaboration. The topics of the workshops collocated with ICLP 2014 may= cover any area related to logic programming (e.g., theory, systems, enviro= nments, software-engineering aspects, extensions, alternative paradigms, ap= plications), including cross-disciplinary areas.=20=20 >>> You are encouraged to propose any ICLP-related workshop or tutorials if= there is evidence that this will be in favor of a stronger ICLP event. Eve= n if there is a perception that some workshop may not have a number of enou= gh attendants, the ICLP14 organizers would still welcome all workshop propo= sals. Please consider putting together a proposal, and circulating it as among po= tentially interested colleagues. The deadline is September 30, 2013. Best regards, Hai-Feng Guo >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> THE SIXTH FEDERATED LOGIC CONFERENCE (FLoC 2014) Part of VIENNA SUMMER OF L= OGIC (VSL 2014) July 2014, Vienna, Austria SECOND CALL FOR WORKSHOPS The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna= Summer of Logic (VSL), the largest logic event in history, with over 2000 = expected participants. FLoC 2014 will host eight conferences and many works= hops. Each workshop will be affiliated with at least one of the eight confe= rences. 26th International Conference on Computer Aided Verification (CAV) Workshop= Chair: Martina Seidl http://fmv.jku.at/seidl/ 27th IEEE Computer Security Foundations Symposium (CSF) Workshop Chair: Luc= a Vigano http://profs.sci.univr.it/~vigano/ 30th International Conference on Logic Programming (ICLP) Workshop Chair: H= aifeng Guo http://faculty.ist.unomaha.edu/hguo/ 7th International Joint Conference on Automated Reasoning (IJCAR) Workshop = Chair: Matthias Horbach http://www.mpi-inf.mpg.de/~horbach/ 5th Conference on Interactive Theorem Proving (ITP) Workshop Chair: David P= ichardie http://www.irisa.fr/celtique/pichardie/ Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic= (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) = Workshop Chair: Georg Moser http://cl-informatik.uibk.ac.at/users/georg/ 25th International Conference on Rewriting Techniques and Applications (RTA= ) joined with the 12th International Conference on Typed Lambda Calculi and= Applications (TLCA) Workshop Chair: Aleksy Schubert http://www.mimuw.edu.p= l/~alx/ 17th International Conference on Theory and Applications of Satisfiability = Testing (SAT) Workshop Chair: Ines Lynce http://sat.inesc-id.pt/~ines/ SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops= on topics in the field of computer science, related to logic in the broad = sense. Each workshop proposal must indicate at least one conference to be = affiliated with, and among those exactly one primary hosting conference. It is suggested that prospective workshop organizers contact the relevant c= onference Workshop Chair(s) before submitting a proposal. Proposals should be submitted electronically to EasyChair at the following = address: http://www.easychair.org/conferences/?conf=3Dfloc14cfw Proposals should consist of two parts. First, a short scientific justificat= ion 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 wo= rkshops (if relevant). A second, organizational part should include: * contact information of the workshop organizers * proposed primary hosting conference (and possibly other affiliated confer= ence(s)) * estimate of the audience size * proposed format and agenda (for example, paper presentations, tutorials, = demo sessions, etc.) * potential invited speakers * procedures for selecting papers and participants * plans for dissemination, if any (for example, special issues of journals) * duration (which may vary from one day to two days) and preferred period The FLoC Organizing Committee will determine the final list of accepted wor= kshops based on the recommendations from the Workshop Chairs of the hosting= conferences and subject to the availability of space and facilities. Further information can be found at the FLoC 2014 Workshop Guide http://vsl= 2014.at/floc-ws/ IMPORTANT DATES Submission of workshop proposals: by September 30, 2013 Notification: by November, 2013 Pre-FLoC workshops: Saturday & Sunday, July 12-13 Mid-FLoC workshops: Thurs= day & Friday, July 17-18 Post-FLoC workshops: Wednesday & Thursday, July 23= -24=20 CONTACT INFORMATION Questions regarding workshop proposals should be sent to the workshop chair= s of conferences that are supposed to host the workshop (see above). Genera= l questions should be sent to floc14cfw@easychair.org Please consult the FL= oC 2014 Workshop Guide http://vsl2014.at/floc-ws/ FLoC 2014 WORKSHOP CHAIR Stefan Szeider http://www.szeider.net Vienna University of Technology