StarExec
Would you like to react to this message? Create an account in a few clicks or log in to continue.
StarExec

This is a forum for discussing the StarExec solver execution service, at starexec.org.


Starexec logo (for Floc Olympics certificates)?

2 posters

StarExec :: Summer 2014 Competitions/Events

Go down

Starexec logo (for Floc Olympics certificates)? Empty Starexec logo (for Floc Olympics certificates)?

Post by j.waldmann Mon May 26, 2014 8:31 am

Hi Aaron - Floc Olympics will be printing winners' certificates for the competitions. What is the preferred way of acknowleding Starexec (or its sponsors)? E.g., a nice logo (vectorized, not rastered).

j.waldmann

Posts : 84
Join date : 2014-04-26

Back to top Go down

Starexec logo (for Floc Olympics certificates)? Empty Re: Starexec logo (for Floc Olympics certificates)?

Post by Admin Mon May 26, 2014 2:50 pm

Hi, Johannes. http://www.cs.uiowa.edu/~astump/starexec-logo.svg is a SVG file. For citations, you could cite our IJCAR '14 system description for StarExec:

Aaron Stump, Geoff Sutcliffe and Cesare Tinelli
StarExec: a Cross-Community Infrastructure for Logic Solving. IJCAR 2014.

Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

http://www.cs.uiowa.edu/~astump/

Back to top Go down

Back to top

- Similar topics

StarExec :: Summer 2014 Competitions/Events

 
Permissions in this forum:
You cannot reply to topics in this forum