[Hol-info] FLoC 2018 Volunteer Programme Announcement

[Andrzej Murawski]

FLOC 2018 VOLUNTEER PROGRAMME ANNOUNCEMENT

Applications to the FLOC 2018 Volunteer Programme are now open.

FLoC (Federated Logic Conference), which brings together several
international conferences related to mathematical logic and computer
science, will be held in Oxford, UK, from the 6th to the 19th of July,
2018. The FLoC volunteer programme allows students and postdocs to
have free participation (no registration fee) at FLoC conferences and
workshops.  Volunteers will be able to interact with speakers and
participants, network with other researchers and meet graduate
students from all over the world.

FLoC volunteers will contribute to the smooth running of the
conference by performing tasks such as helping at the registration
desk, assisting with the audio-visual equipment across the different
venues, giving directions to venues, providing information to
conference/workshop participants, general assistance to keep the
conference running smoothly, or engaging with social media about FLoC.

More information can be found at: http://www.floc2018.org/volunteer/

The deadline for applications is 18 May 2018 and applicants will be
informed of decisions by 1 June 2018.

Please note that FLoC also offers a travel stipend programme, which
cannot be combined with the FLoC volunteer programme, see the above
link.

More information about FLOC and events within it can be found at:

http://www.floc2018.org/

We hope to see you in Oxford!

Marta, Daniel and Moshe
(FLOC Chairs)
--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] QBFEVAL'18 - Deadline extension

[Luca Pulina]

[apologies for any cross-posting]

**
QBFEVAL'18 - Competitive Evaluation of QBF Solvers
A joint event with the 21st Int. Conference on Theory and Applications 
of Satisfiability Testing (SAT)

(affiliated with FLoC 2018)
Oxford, UK, July 9 - July 12 2018
**


QBFEVAL'18 is the 2018 competitive evaluation of QBF solvers, and the 
thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18 
awards solvers that stand out as being particularly effective on 
specific categories of QBF instances.


We warmly encourage developers of QBF solvers to submit their work, even 
at early stages of development, as long as it fulfills some very simple 
requirements.


We also welcome the submission of QBF formulas to be used for the 
evaluation. Researchers thinking about using QBF-based techniques in 
their area (e.g., formal verification, planning, knowledge 
representation & reasoning) are invited to contribute to the evaluation 
by submitting QBF instances of their research problems (see the 
requirements for instances). The results of the evaluation will be a 
good indicator of the current feasibility of QBF-based approaches and a 
stimulus for people working on QBF solvers to further enhance their tools.


Details about solvers and benchmarks submission, tracks, and related 
rules, are available at http://www.qbflib.org/qbfeval18.php


For questions, comments and any other issue regarding QBFEVAL'18, please 
get in touch with the organizers via qb...@qbflib.org.


** Important Dates **

-    Registration close: April 22 (incl. solver description) - EXTENDED
-    Solvers and Benchmarks due: April 25 (for all tracks except 
Hard-Instances Track) - EXTENDED

-    First stage results: May 3
-    Second stage solvers due: May 15 (for all tracks except 
Hard-Instances Track)

-    Hard instances solver due: June 1 (no registration is necessary)
-    Competition Benchmarks available for download: June 14
-    Final results: presented at SAT'18


** Organizing committee **

* Organization *
Luca Pulina, University of Sassari
Martina Seidl, Johannes Kepler Universitat Linz

* Judges *
Olaf Beyersdorff, University of Leeds
Christoph Wintersteiger, Microsoft Research Limited

--
Luca Pulina, Ph.D.
Associate Professor of Computer Science
University of Sassari
Tel. +39 079 228987


--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] FLoC 2018 - Last Joint Call for Workshop Papers

[Andrzej Murawski]

FLoC 2018 --- The 2018 Federated Logic Conference
6-19 July 2018
Oxford, England UK
http://www.floc2018.org/workshops

The seventh Federated Logic Conference (FLoC'18) will be held in
Oxford, UK, in July 2018, at the Mathematical Institute and the
Blavatnik School of Government at the University of Oxford. In addition
to nine major international conferences related to mathematical logic
and computer science, FLoC 2018 will feature 79 workshops arranged
in three segments:

Pre-FLoC: Sat 7 - Sun 8 (workshops related to CSF, FSCD, ITP, LICS and SAT),
Mid-FLoC: Wed 11 - Sat 14 (workshops related to CAV, ICLP, IJCAR, ITP and
LICS),
Post-FLoC: Wed 18 - Thu 19 (workshops related to FM, CAV, ICLP and IJCAR).

The suggested submission deadline is 15th April 2018, notifications
will be sent out no later than 15th May 2018. Please refer to the
individual websites for workshop-specific Calls for Papers, deadlines
and information on how to submit.


*** Pre-FLoC workshops (Saturday 7 - Sunday 8 July)

32nd International Workshop on Unification (UNIF 2018), 7 July
http://unif2018.cic.unb.br/

7th International Workshop on Confluence (IWC 2018), 7 July
http://cl-informatik.uibk.ac.at/events/iwc-2018/

7th International Workshop on Classical Logic and Computation (CL
2018), 7 July
http://www.di.unito.it/~stefano/CL/CL

Higher-Dimensional Rewriting and Algebra (HDRA 2018), 7 July
http://hdra.gforge.inria.fr/

International Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice (LFMTP 2018), 7 July
http://lfmtp.org/workshops/2018/

7th International Workshop on the Cross-Fertilization Between CSP and
SAT (CSPSAT 2018), 7 July
(website coming soon)

Pragmatics of SAT (PoS 2018), 7 July
http://www.pragmaticsofsat.org/2018/

Twenty Years of Deep Inference (TYDI 2018), 7 July
https://www.lix.polytechnique.fr/~lutz/orgs/TYDI2018.html

10th International Workshop on Computing with Terms and Graphs
(TERMGRAPH 2018), 7 July
https://nms.kcl.ac.uk/maribel.fernandez/TERMGRAPH.html

Syntax and Semantics of Low-Level Languages (LOLA 2018), 7 July
https://cs.appstate.edu/~johannp/lola18/

9th Workshop on Higher Order Rewriting (HOR 2018), 7 July
https://lipn.univ-paris13.fr/HOR18/

2018 Joint Workshop on Linearity & TLLA (5th International Workshop on
Linearity and 2nd Workshop on Trends in Linear Logic and
Applications), 7-8 July
http://lipn.univ-paris13.fr/TLLALinearity18/

Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF
2018), 7-8 July
https://hott-uf.github.io/2018/

Game Semantics 25, 7-8 July
http://www.gamesemantics.org/game-semantics-25

Workshop on Proof Complexity (PC 2018), 7-8 July
http://easychair.org/smart-program/PC2018/

Programming And Reasoning on Infinite Structures (PARIS 2018), 7-8 July
https://www.irif.fr/~saurin/RAPIDO/PARIS-2018/

6th Workshop on Strategic Reasoning (SR 2018), 7-8 July
http://projects.lsv.fr/sr18/

Workshop in honour of Dana Scott's 85th birthday and 50 years of
domain theory, 7-8 July
https://andrejbauer.github.io/domains-floc-2018/

5th Workshop on Natural Language and Computer Science (NLCS 2018), 7-8 July
http://www.indiana.edu/~iulg/nlcs.html

7th Workshop on Mathematically Structured Functional Programming (MSFP
2018), 8 July
https://msfp2018.bentnib.org/

5th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (WPTE 2018), 8 July
http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html

The Coq Workshop 2018, 8 July
https://coqworkshop2018.inria.fr/

International Workshop on Quantified Boolean Formulas and Beyond (QBF
2018), 8 July
http://fmv.jku.at/qbf18/

5th International Workshop on Graphical Models for Security (GraMSec
2018), 8 July
http://gramsec.uni.lu/

Women in Logic 2018, 8 July
https://sites.google.com/site/womeninlogic2018/welcome

9th Workshop on Intersection Types and Related Systems (ITRS 2018), 8 July
https://www.irif.fr/~michele/itrs2018

Coalgebra Now, 8 July
http://homepage.tudelft.nl/c9d1n/floc2018coalgebra/index.html

12th International Workshop on Developments in Computational Models
(DCM 2018), 8 July
https://sites.google.com/g.uporto.pt/dcm18

IFIP Working Group 1.6: Rewriting, 8 July
http://cbr.uibk.ac.at/ifip-wg1.6/

Workshop on Foundations of Computer Security (FCS 2018), 8 July
http://www.andrew.cmu.edu/user/liminjia/events/fcs2018/

Mentor Workshop 1, 8 July
(website coming soon)


*** Mid-FLoC workshops (Wednesday 11 - Saturday 14 July)

Satisfiability Checking and Symbolic Computation: Bridging Two
Communities to Solve Real Problems (SC^2 2018), 11 July
http://www.sc-square.org/CSA/workshop3.html

IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018), 11-13
July
http://www.cs.ox.ac.uk/conferences/ADHS18/

16th International Workshop on Satisfiability Modulo Theories (SMT
2018), 12-13 July
http://smt-workshop.cs.uiowa.edu/2018/

CAV Tutorials, 13 July
http://cavconference.org/2018/invited-speakers-tutorials/

7th Workshop on Logic and Systems Biology (LSB), 13 July