[sage-devel] Workshop Announcement

2019-05-29 Thread Robert Jacobson 
I hope this is not too far off-topic, but it is something that is 
definitely relevant to the Sage development community.

The 12th Conference on Intelligent Computer Mathematics, CICM 2019, is July 
8-12, 2019 in Prague, Czech Republic. The conference will be located at the 
Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech 
Technical University in Prague (CTU). 

Of particular interest to this community is the workshop on Large 
Mathematics Libraries 
 (LML 
2019).

Large Mathematics Libraries (LML 2019)
>
> Large formal and semiformal mathematics libraries are needed to support 
> mathematics research, mathematics education, rigorous software development, 
> and formal proof development. This workshop will explore methods for 
> designing, constructing, and maintaining large mathematics libraries as 
> well as for finding, comparing, and applying the knowledge residing in 
> these libraries.
>
> Key topics of interest will include:
>
>- Methods for sharing knowledge between libraries.
>- Modular techniques for organizing the knowledge within libraries.
>- The translation of libraries to different languages and logics.
>- The construction of new libraries by integrating existing libraries.
>- Tools for exploring the contents of large libraries.
>- Observations about past results.
>
>
Best wishes,

Robert Jacobson 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/2a676c1c-965f-4e6e-a0f8-35b138e5ea30%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Workshop announcement

2014-08-29 Thread TB 

  
  
Sorry sage-devel. Please ignore the
  previous message...
  
  On 08/30/2014 12:16 AM, TB wrote:


  
  
  
On 08/28/2014 12:21 PM, Simon King wrote:
  
  
Dear Sage developers,

  

[snip]

  

For more details please visit the web page

   * http://cogral2015.uni-jena.de/.

We would be very glad if this convinced you to visit Jena and
to attend the workshop. We are looking forward to seeing you!

With kind regards
   S.K., J.M., B.S.

%


  
  


  




-- 
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Workshop announcement

2014-08-29 Thread TB 

  
  
Dear Prof. King,
  
  My name is Tomer Bauer and I am a Ph.D. student at Bar-Ilan
  University. As I am quiet enthusiastic about Sage (my trac
  username is mathzeta2), the CoGrAl2015 workshop sounds great.
  
  At the moment, I am not sure if I have another conflicting
  obligation at the dates of the workshop. Is it possible to
  "reserve a seat", and get back to you when I am sure that it is
  possible for me to attend?
  
  By the way, the homepage of the workshop says (at the bottom) that
  registration is until January 11th, *2014*. Is this correct?
  
  Best regards,
  Tomer
  
  On 08/28/2014 12:21 PM, Simon King wrote:


  Dear Sage developers,

please allow me to draw your attention to a workshop on "Computations in
Groups and Algebras" that I am co-organising. It is Sage-related in the
sense that several topics are available in Sage (groups via GAP,
group cohomology by optional packages, commutative algebra via Singular,
path algebras even made it into the Sage library), or should be implemented
in Sage (e.g., fusion systems, blocks of finite groups).

Details are below.
Best regards,
Simon

%

Dear colleagues,

This is the first announcement of a forthcoming workshop entitled

   Computations in Groups and Algebras (CoGrAl2015)
   ===

organised by Simon King, Jürgen Müller, and Benjamin Sambale,
and taking place at

   * Friedrich Schiller University Jena (Germany),
   * from Monday, February 16th, to Thursday, February 19th, 2015.

The aim of the workshop is to shed some light on various recent
aspects of finite group theory, with a particular view towards
algorithms and computations. More specifically, we will focus
on the following topics:

   * Cohomology of finite-dimensional algebras
   * Structure of p-groups and fusion systems
   * Block theory of finite groups

Invited speakers are: (*) to be confirmed

   Jon Carlson(Chicago)
   David Craven(*)(Birmingham)
   Heiko Dietrich(*)  (Melbourne)
   Bettina Eick   (Braunschweig)
   Graham Ellis   (Galway)
   David Green(Jena)
   Ellen Henke(Kopenhagen)
   Frank Himstedt (München)
   Max Horn   (Gießen)
   Gregor Kemper  (München)
   Viktor Levandovskyy(*) (Aachen)
   Nadia Mazza(Lancaster)
   Eamonn O'Brien(*)  (Auckland)
   Götz Pfeiffer  (Galway)
   Peter Symonds  (Manchester)

For more details please visit the web page

   * http://cogral2015.uni-jena.de/.

We would be very glad if this convinced you to visit Jena and
to attend the workshop. We are looking forward to seeing you!

With kind regards
   S.K., J.M., B.S.

%




  




-- 
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Workshop announcement

2014-08-28 Thread Simon King 
Dear Sage developers,

please allow me to draw your attention to a workshop on "Computations in
Groups and Algebras" that I am co-organising. It is Sage-related in the
sense that several topics are available in Sage (groups via GAP,
group cohomology by optional packages, commutative algebra via Singular,
path algebras even made it into the Sage library), or should be implemented
in Sage (e.g., fusion systems, blocks of finite groups).

Details are below.
Best regards,
Simon

%

Dear colleagues,

This is the first announcement of a forthcoming workshop entitled

   Computations in Groups and Algebras (CoGrAl2015)
   ===

organised by Simon King, Jürgen Müller, and Benjamin Sambale,
and taking place at

   * Friedrich Schiller University Jena (Germany),
   * from Monday, February 16th, to Thursday, February 19th, 2015.

The aim of the workshop is to shed some light on various recent
aspects of finite group theory, with a particular view towards
algorithms and computations. More specifically, we will focus
on the following topics:

   * Cohomology of finite-dimensional algebras
   * Structure of p-groups and fusion systems
   * Block theory of finite groups

Invited speakers are: (*) to be confirmed

   Jon Carlson(Chicago)
   David Craven(*)(Birmingham)
   Heiko Dietrich(*)  (Melbourne)
   Bettina Eick   (Braunschweig)
   Graham Ellis   (Galway)
   David Green(Jena)
   Ellen Henke(Kopenhagen)
   Frank Himstedt (München)
   Max Horn   (Gießen)
   Gregor Kemper  (München)
   Viktor Levandovskyy(*) (Aachen)
   Nadia Mazza(Lancaster)
   Eamonn O'Brien(*)  (Auckland)
   Götz Pfeiffer  (Galway)
   Peter Symonds  (Manchester)

For more details please visit the web page

   * http://cogral2015.uni-jena.de/.

We would be very glad if this convinced you to visit Jena and
to attend the workshop. We are looking forward to seeing you!

With kind regards
   S.K., J.M., B.S.

%

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.