Cover Photo for Ceptre: A Language for Modeling Generative Interactive Systems

Ceptre: A Language for Modeling Generative Interactive Systems

CS Cabal

Jan

20

In-Person

Address available to attendees

We missed you this time around!

IN PERSON EVENT. Please RSVP so we can plan accordingly.

Speaker: Paul Tarvydas(https://guitarvydas.github.io)

Topic:

Ceptre is a rule specification language intended to enable rapid prototyping for experimental game mechanics, especially in domains that depend on procedural generation and multi-agent simulation. Ceptre can be viewed as an explication of a new methodology for understanding games based on linear logic, a formal logic concerned with resource usage

Paul's presentation will mainly center around a detailed exploration of the "dungeon crawler" example code found at https://www.cs.cmu.edu/~cmartens/ceptre.pdf.

The talk will delve into connections with relational programming, such as found in The Reasoned Schemer and languages like Prolog.  Connections to more common programming languages, like Javascript, Python, Odin, and Lisp will be discussed. The discussion may involve the utilization of Translate and 0D to illustrate these relationships. OhmJS(https://ohmjs.org) and 0D (https://github.com/guitarvydas/0d)

Agenda:

  • 7 to 7:30: Entry and Mingling

  • 7:30 to 8:30: Talk

  • 8:30 to 9:00: Mingling and Exit

Venue: 1RG

2567 Dundas St W, Toronto, ON M6P 1X7 (Street Parking if there is space)

1RG is a co-working community in Toronto. Our location in the Junction offers a shared workspace, meeting rooms, and weekly community events. 1RG Space is designed to foster connections between people who value community, and creativity.

Code of Conduct

House Manual

Ceptre: A Language for Modeling Generative Interactive Systems

CS Cabal

Jan

20

In-Person

Address available to attendees

IN PERSON EVENT. Please RSVP so we can plan accordingly.

Speaker: Paul Tarvydas(https://guitarvydas.github.io)

Topic:

Ceptre is a rule specification language intended to enable rapid prototyping for experimental game mechanics, especially in domains that depend on procedural generation and multi-agent simulation. Ceptre can be viewed as an explication of a new methodology for understanding games based on linear logic, a formal logic concerned with resource usage

Paul's presentation will mainly center around a detailed exploration of the "dungeon crawler" example code found at https://www.cs.cmu.edu/~cmartens/ceptre.pdf.

The talk will delve into connections with relational programming, such as found in The Reasoned Schemer and languages like Prolog.  Connections to more common programming languages, like Javascript, Python, Odin, and Lisp will be discussed. The discussion may involve the utilization of Translate and 0D to illustrate these relationships. OhmJS(https://ohmjs.org) and 0D (https://github.com/guitarvydas/0d)

Agenda:

  • 7 to 7:30: Entry and Mingling

  • 7:30 to 8:30: Talk

  • 8:30 to 9:00: Mingling and Exit

Venue: 1RG

2567 Dundas St W, Toronto, ON M6P 1X7 (Street Parking if there is space)

1RG is a co-working community in Toronto. Our location in the Junction offers a shared workspace, meeting rooms, and weekly community events. 1RG Space is designed to foster connections between people who value community, and creativity.

Code of Conduct

House Manual

Guild

Get in touch!

hi@guild.host